Wird geladen…

TUPlan ist eine unabhängige, von Studierenden gebaute Planungshilfe. Sie steht in keiner Verbindung zur TU Darmstadt und wird weder von ihr betrieben noch unterstützt. Verbindlich für Anmeldung, Prüfungen und Noten bleibt allein TUCaN.

Impressum Datenschutz Nutzungsbedingungen

04-00-0091 Automaten, formale Sprachen und Entscheidbarkeit · TUPlan

← Alle Kurse

04-00-0091

Automaten, formale Sprachen und Entscheidbarkeit

FB04 Mathematik · Angeboten in WiSe 2025/26

Für diesen Kurs wurden noch keine Noten gemeldet.

Notenverteilungen kommen herein, sobald jemand, der den Kurs belegt hat, den Notenspiegel mit installierter TUPlan-Erweiterung öffnet.

Erweiterung installieren (öffnet in neuem Tab)Noch nicht im Chrome Web Store — der Link führt vorerst zur Store-Suche.

Hat sich der Kurs gelohnt?

Noch keine Bewertungen — mach den Anfang.

Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.

Wöchentliche Termine · WiSe 2025/26

Mo09:50–11:30S103/104 · Übung 11
Mo15:20–17:00S103/209 · Übung 01
Mo15:20–17:00S306/146 · Übung 05
Di08:00–09:40S103/113 · Übung 02
Di08:00–09:40S105/23 · Übung 12
Di08:00–09:40S105/24 · Übung 13
Di11:40–13:20S215/234 · Übung 06
Di11:40–13:20S103/161 · Übung 07
Di11:40–13:20S105/23 · Übung 08
Di11:40–13:20S202/C205 · Übung 09
Mi11:40–13:20S103/116 · Übung 03
Mi11:40–13:20S115/238 · Übung 04
Mi15:20–17:00S113/266 · Übung 10
Fr08:00–09:40S311/08, S311/006 · Vorlesung und Übung

Bestandteile

04-00-0091-vuVorlesung mit Übung3 SWS

Sprache: Deutsch
Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach, M.Sc. Morenikeji Neri

Lehrinhalte

Einführung: Transitionssysteme, Wörter, Sprachen; Mathematische Grundbegriffe und elementare Beweismethoden; Endliche Automaten und reguläre Sprachen; Determinismus und Nichtdeterminismus, Abschlusseigenschaften und Automatenkonstruktionen; Sätze von Kleene, Myhill-Nerode, Pumping Lemma; Grammatiken und Chomsky-Hierarchie, kontextfreie Sprachen, Abschlusseigenschaften, Pumping Lemma, CYK Algorithmus; Berechnungsmodelle: Kellerautomaten, Turingmaschinen; Entscheidbarkeit und Aufzählbarkeit in der Chomsky-Hierarchie

Prüfungstermine

Kein Prüfungstermin veröffentlicht.

Zum Stundenplan hinzufügen

Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden