Wortprobleme, Automaten, Grammatiken und Beweise. Klausur ist lesend & rechnend — DFA/NFA/PDA konstruieren, Pumping-Lemma anwenden, TM-Beschreibungen verstehen.
Fortschritt
Fortschritt wird lokal im Browser gespeichert (LocalStorage). Kein Login, keine Cloud.
Themenübersicht
Was ist ein Computer-Problem?
Grundbegriffe, Entscheidungs-/Berechnungsproblem.
Formale Sprachen & Wortproblem
Alphabet, Wörter, Sprache, Wortproblem.
DFA / DEA
Deterministische endliche Automaten, δ-Funktion.
NFA / NEA
Nichtdeterministische endliche Automaten, Potenzmengenkonstruktion.
Pumping-Lemma
Reguläre Sprachen widerlegen.
Chomsky-Hierarchie
Typ 0/1/2/3, Grammatiken, Zusammenhänge.
Kellerautomaten (PDA)
Stack, kontextfreie Sprachen, CYK.
Turingmaschinen
TM-Modell, Berechenbarkeit, Unentscheidbarkeit.
Mathe-Basics & Beweise
Induktion, Widerspruch, Aussagenlogik.
Klausur Dos & Donts
Häufige Fehler, Musterlösungen, Prüfungstricks.
🎯 Klausur-Fokus
Wortprobleme, Automaten, Grammatiken und Beweise. Klausur ist lesend & rechnend — DFA/NFA/PDA konstruieren, Pumping-Lemma anwenden, TM-Beschreibungen verstehen.
📝 Prüfungsformate
- Konzepte erklären
- Diagramme lesen
- Was-passiert-wenn-Fragen