Automata and Formal Languages - Interactive curriculae of TU Ilmenau

The interactive curriculae provide information on the degree programmes offered by the TU Ilmenau.

Please refer to the respective study and examination rules and regulations for the legally binding curricula (Annex Curriculum).

You can find all details on planned lectures and classes in the course catalogue.

Please note that this page is no longer updated. All modules and study plans from PO version 2021 onwards (Bachelor and Master study programs) are now available on the Campus Portal.

module properties Automata and Formal Languages in degree program Bachelor Ingenieurinformatik 2021
module number	200049
examination number	2200694
department	Department of Computer Science and Automation
ID of group	2241 (Automata and Logics)
module leader	Prof. Dr. Dietrich Kuske
term	winter term only
language	Deutsch
credit points	5
on-campus program (h)	34
self-study (h)	116
obligation	elective module
exam	written examination performance, 90 minutes
details of the certificate
link to Moodle course	https://moodle.tu-ilmenau.de/course/view.php?id=3560
teacher	Prof. Kuske
signup details for alternative examinations
maximum number of participants
previous knowledge and experience	Sicherheit im Umgang mit mathematischen Begriffen (vgl. z. B. Modul "Grundlagen und diskrete Strukturen") Grundkenntnisse zu Algorithmen (vgl. z. B. Modul "Algorithmen und Programmierung für IN und II" oder "Algorithmen und Datenstrukturen 1"
learning outcome	Fachkompetenz: Die Studierenden kennen die Grundzüge der Theorie der Formalen Sprachen und der Automaten (siehe Inhaltsangabe). Diese Kenntnisse haben sie vorangig in der Vorlesung und im Selbstudium erworben. Methodenkompetenz: Die Studierenden sind in der Lage, die behandelten Algorithmen und Konstruktionsverfahren an Beispieleingaben auszuführen (Automaten-, Grammatiktransformationen). Sie können Nicht-Regularitätsbeweise und Nicht-Kontextfreiheitsbeweise an Beispielen durchführen. Sie können für vorgegebene Sprachen / Probleme Automaten und/oder Grammatiken konstruieren. Sie können Entscheidungsverfahren und Transformationsverfahren für Automaten und Grammatiken anwenden. Diese Fähigkeiten haben sie vorangig in der Übung und im Selbstudium erworben. Sozialkompetenz: Die Studierenden können kritische Fragen zum behandelten Stoff, Probleme bei der Erarbeitung des Wissens bzw. bei der Lösung der Aufgaben klar formulieren und in Diskussionen mit Kommilitonen und Lehrenden vertreten.
content	deterministische endliche Automaten reguläre Sprachen, lexikalische Analyse Nichtdeterministische endliche Automaten Reguläre Ausdrücke Äquivalenzbeweise Erkennen von Nichtregularität Minimierung endlicher Automaten Chomsky-Grammatiken Kontextfreie Grammatiken und kontextfreie Sprachen Normalformen, insbesondere Chomsky-Normalform Ableitungsbäume und Ableitungen Kellerautomaten, Äquivalenz Parsing
media of instruction and technical requirements for education and examination in case of online participation	Folien und Übungsblätter
literature / references	Schöning, "Theoretische Informatik kurzgefasst" Hopcroft, Motwani, Ullman, "Einführung in die Automatentheorie, Formale Sprachen und Komplexität" Asteroth, Baier, "Theoretische Informatik" Wegener, "Theoretische Informatik"
evaluation of teaching