Technische Universität Ilmenau

Automaten und Formale Sprachen - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.

Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).

Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.

Informationen und Handreichungen zur Pflege von Modulbeschreibungen durch die Modulverantwortlichen finden Sie unter Modulpflege.

Hinweise zu fehlenden oder fehlerhaften Modulbeschreibungen senden Sie bitte direkt an modulkatalog@tu-ilmenau.de.

Modulinformationen zu Automaten und Formale Sprachen im Studiengang Bachelor Mathematik 2009
ACHTUNG: wird nicht mehr angeboten!
Modulnummer5353
Prüfungsnummer2200057
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2241 (Automaten und Logik)
Modulverantwortliche(r)Prof. Dr. Dietrich Kuske
TurnusWintersemester
SpracheDeutsch
Leistungspunkte4
Präsenzstudium (h)34
Selbststudium (h)86
VerpflichtungWahlmodul
Abschlussmündliche Prüfungsleistung, 20 Minuten
Details zum Abschluss
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl
VorkenntnisseFach "Algorithmen und Datenstrukturen" und "Mathematik für Informatiker 1 und 2"
Lernergebnisse und erworbene Kompetenzen

Fachkompetenz: Die Studierenden kennen die Grundzüge der Theorie der Formalen Sprachen und der Automaten (siehe Inhaltsangabe).

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.

Inhalt
  • Deterministische endliche Automaten
  • reguläre Sprachen, lexikalische Analyse
  • Nichtdeterministische endliche Automaten
  • Reguläre Ausdrücke
  • Äquivalenzbeweise
  • Erkennen von Nichtregularität
  • Minimierung endlicher Automaten
  • Allgemeine Grammatiken
  • Kontextfreie Grammatiken und kontextfreie Sprachen
  • Normalformen, insbesondere Chomsky-Normalform
  • Ableitungsbäume und Ableitungen
  • Kellerautomaten, Äquivalenz
  • Parsing
Medienformen

Vorlesung: Folien, Folienkopien (Online)

Übung: Übungsblätter (Online)

Literatur
  • 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"
Lehrevaluation

Pflichtevaluation:

WS 2011/12 (Fach)

Freiwillige Evaluation:

WS 2012/13 (Vorlesung)

WS 2013/2014 (Vorlesung, Übung)

Hospitation: