C993 – Automaten und formale Sprachen

Modul
Automaten und formale Sprachen
Automata and Formal Languages
Modulnummer
C993 [INB3010, MIB8310]
Version: 1
Fakultät
FIM-INF: Informatikstudiengänge - Fakultät Informatik und Medien
Niveau
Bachelor
Dauer
1 Semester
Turnus
Wintersemester
Modulverantwortliche

Prof. Dr. rer. nat. Sibylle Schwarz
sibylle.schwarz@htwk-leipzig.de
Dozierende

Prof. Dr. rer. nat. Sibylle Schwarz
sibylle.schwarz@htwk-leipzig.de
Sprache(n)

Deutsch
in "Automaten und formale Sprachen"
ECTS-Leistungspunkte

5.00 ECTS-Punkte

Workload

150 Stunden

Lehrveranstaltungen

4.00 SWS (2.00 SWS Vorlesung | 2.00 SWS Seminar)
Selbststudienzeit

94.00 Stunden

Prüfungsvorleistung(en)

Prüfungsvorleistung Beleg
in "Automaten und formale Sprachen"

Prüfungsvorleistung Präsentation
in "Automaten und formale Sprachen"
Prüfungsleistung(en)

Prüfung Klausurarbeit
Modulprüfung | Prüfungsdauer: 90 Minuten | Wichtung: 100% | nicht kompensierbar
in "Automaten und formale Sprachen"
Lehr- und Lernformen

-
Medienform

keine Angabe
Lehrinhalte/Gliederung

Formale Sprachen und verschiedene Darstellungsformen dafür, reguläre Ausdrücke Grammatiken (Chomsky-Hierarchie, Pumping Lemmata)

Berechnungsmodelle: endliche Automaten, Kellerautomaten,Turingmaschinen 

Ausblick auf Grenzen der Berechenbarkeit
Qualifikationsziele

Die Studierenden sind in der Lage, wichtige Klassen formaler Sprachen als Grundlage von Programmier- und Beschreibungssprachen einzuordnen und kennen die wesentlichen Eigenschaften der Sprachklassen. 
Sie kennen die entsprechenden abstrakten Maschinenmodelle und Algorithmen und können sie zur Darstellung und Lösung praktischer Aufgabenstellungen einsetzen. Die Studierenden wissen, dass nicht jedes formal darstellbare Problem algorithmisch lösbar ist.
Zulassungsvoraussetzung

Keine
Empfohlene Voraussetzungen

anwendungsbereite Kenntnisse auf den Gebieten Modellierung, Logik, Algorithmen und Datenstrukturen, Aufwandsabschätzungen
Literaturhinweise
  • J. E. Hopcroft, J. D. Ullman: "Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie", Addison-Wesley, aktuelle Auflage.
  • U. Schöning: "Theoretische Informatik - kurzgefasst", Spektrum, aktuelle Auflage.
  • D. Hoffmann: "Theoretische Informatik", Hanser, 2009.
  • R. Socher: "Theoretische Grundlagen der Informatik", Hanser, 2008
  • G. Vossen, K.-U. Witt: "Grundkurs Theoretische Informatik", Springer Vieweg, aktuelle Auflage.
Aktuelle Lehrressourcen

Lehrmaterial und aktuelle Informationen: https://informatik.htwk-leipzig.de/schwarz
Hinweise

regelmäßiges erfolgreiches Lösen der praktischen Übungsaufgaben (PVB) und 3 Kurzvorträge zu schriftlichen Übungsaufgaben (PVP)
Verwendbarkeit

Pflichtmodul: INB, Wahlpflichtmodul: MIB
Link zu Kurs/Lernressourcen im OPAL/Moodle/etc.
Detailansicht schließen
© Modulux (Version 4.1)