Technische Universität Ilmenau

Automaten und Formale Sprachen - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu unseren Studiengängen. Rechtlich verbindliche Angaben zum Verlauf des Studiums entnehmen Sie bitte dem jeweiligen Studienplan (Anlage zur Studienordnung). Bitte beachten Sie diesen rechtlichen Hinweis. Angaben zum Raum und Zeitpunkt der einzelnen Lehrveranstaltungen entnehmen Sie bitte dem aktuellen Vorlesungsverzeichnis.

Fachinformationen zu Automaten und Formale Sprachen im Studiengang Bachelor Informatik 2010
ACHTUNG: wird nicht mehr angeboten!
Fachnummer5353
Prüfungsnummer2200057
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2241 (Automaten und Logik)
Fachverantwortliche(r)Prof. Dr. Dietrich Kuske
TurnusWintersemester
SpracheDeutsch
Leistungspunkte4
Präsenzstudium (h)34
Selbststudium (h)86
VerpflichtungPflicht
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

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:

Informationen und Handreichungen zur Pflege von Modul- und Fachbeschreibungen durch den Modul- oder Fachverantwortlichen finden Sie auf den Infoseiten zum Modulkatalog.