Loading…

TUPlan is an independent, student-built planning aid. It is not affiliated with, endorsed by, or operated by TU Darmstadt. TUCaN remains the system of record for registration, exams and grades.

Impressum Privacy Terms

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

← All courses

04-00-0091

Automaten, formale Sprachen und Entscheidbarkeit

FB04 Mathematics · Offered in WiSe 2025/26

No grade data reported for this course yet.

Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.

Install the extension (opens in a new tab)Not in the Chrome Web Store yet — for now the link goes to a store search.

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions · WiSe 2025/26

Mon09:50–11:30S103/104 · Übung 11
Mon15:20–17:00S103/209 · Übung 01
Mon15:20–17:00S306/146 · Übung 05
Tue08:00–09:40S103/113 · Übung 02
Tue08:00–09:40S105/23 · Übung 12
Tue08:00–09:40S105/24 · Übung 13
Tue11:40–13:20S215/234 · Übung 06
Tue11:40–13:20S103/161 · Übung 07
Tue11:40–13:20S105/23 · Übung 08
Tue11:40–13:20S202/C205 · Übung 09
Wed11:40–13:20S103/116 · Übung 03
Wed11:40–13:20S115/238 · Übung 04
Wed15:20–17:00S113/266 · Übung 10
Fri08:00–09:40S311/08, S311/006 · Vorlesung und Übung

Parts

04-00-0091-vuLecture with exercise3 contact h/week

Language: Deutsch
Taught by: Prof. Dr. phil. nat. Ulrich Kohlenbach, M.Sc. Morenikeji Neri

Course content

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

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong