C993 – Automata and Formal Languages

Module
Automata and Formal Languages
Automaten und formale Sprachen
Module number
C993
Version: 2
Faculty
FIM-INF: Informatikstudiengänge - Fakultät Informatik und Medien
Level
Bachelor
Duration
1 Semester
Semester
Summer semester
Module supervisor

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

Prof. Dr. rer. nat. Sibylle Schwarz
sibylle.schwarz@htwk-leipzig.de
Course language(s)

German
in "Automaten und formale Sprachen"
ECTS credits

5.00 credits

Workload

150 hours

Courses

4.00 SCH (2.00 SCH Vorlesung | 2.00 SCH Übung)
Self-study time

94.00 hours
14.00 hours Examination preparation - Automaten und formale Sprachen
70.00 hours Bearbeitung Prüfungsvorleistung - Automaten und formale Sprachen
10.00 hours Course preparation - Automaten und formale Sprachen
Pre-examination(s)

Prüfungsvorleistung Beleg
in "Automaten und formale Sprachen"

Prüfungsvorleistung Präsentation
in "Automaten und formale Sprachen"
Examination(s)

Prüfung Klausurarbeit
Module examination | Examination time: 90 minutes | Weighting: 100%
in "Automaten und formale Sprachen"
Form of teaching
  • Vorlesung
  • Übung
  • Bearbeiten von Problemen und Lösungsfindung,
  • Selbstudium anhand theoretischer und praktischer Übungsaufgaben
Media type

keine Angabe
Instruction content/structure

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
Qualification objectives

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.
Special admission requirements

Keine
Recommended prerequisites

anwendungsbereite Kenntnisse auf den Gebieten Modellierung, Logik und Programmierung
Literature
  • 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.
Current teaching resources

keine
Notes

Prüfungsvorleistung: regelmäßiges erfolgreiches Lösen der praktischen Übungsaufgaben und 3 Kurzvorträge zu schriftlichen Übungsaufgaben

Applicability

Informatik | Bachelor (20INB) Pflichtmodul

Medieninformatik | Bachelor (20MIB) Wahlpflicht
Link to course/learning resources in OPAL/Moodle/etc.
Close detail view
© Modulux (Version 4.1)