Thema 1
Zustände und Zustandsgraphen
8 Fragen
1.1 Was beschreibt ein Zustand?
1.2 Wovon hängt der Folgezustand ab?
1.3 Eine Schleife an einem Zustand bedeutet …
1.4 Woran erkennt man den Startzustand?
1.5 Kugelschreiber: Zustände „eingefahren“ und „ausgefahren“, einzige Eingabe „Drücken“. Wie viele Übergänge hat der vollständige Graph?
1.6 Ampel mit Takt t: rot → rot-gelb → grün → gelb → rot. Start rot, Eingabe t t t t t. Endzustand?
1.7 Waschmaschine: Was ist eine Eingabe und kein Zustand?
1.8 Ein System hat 4 Zustände und 3 mögliche Eingaben. Wie viele Pfeile hat ein vollständiger Zustandsgraph?
Thema 2
DEA und Sprachen
8 Fragen
2.1 Was ist Σ?
2.2 ε bezeichnet …
2.3 Ein DEA akzeptiert ein Wort genau dann, wenn …
2.4 Der Startzustand ist zugleich Endzustand. Dann …
2.5 „Deterministisch“ heißt:
2.6 Der Fehlerzustand zF darf im Graphen fehlen, wenn …
2.7 Σ* bezeichnet …
2.8 Welche Beschreibung einer Sprache ist brauchbar?
Thema 3
Automaten entwickeln und implementieren
8 Fragen
3.1 Die wichtigste Frage beim Entwurf eines DEA lautet:
3.2 DEA für „enthält 11“: z1 bedeutet „zuletzt eine 1, noch kein 11“. Es folgt eine 0. Folgezustand?
3.3 Welche Testwörter sind besonders wichtig?
3.4 Warum steht zustand = 0; am Anfang von akzeptiert?
3.5 Tabellen-Version: Ein Schritt lautet …
3.6 spalte(c) liefert −1 für Zeichen außerhalb von Σ. Was ist richtig?
3.7 In Java vergleicht man ein Zeichen c richtig mit …
3.8 Ein DEA hat 5 Zustände (mit zF) und Σ = {0, 1}. Wie viele Felder hat die Übergangstabelle?
Thema 4
Mealy-Automaten
8 Fragen
4.1 Wie ist ein Pfeil eines Mealy-Automaten beschriftet?
4.2 Ω bezeichnet …
4.3 Die Ausgabe eines Mealy-Automaten hängt ab von …
4.4 Die Beschriftung 1 / ε bedeutet …
4.5 Endzustände beim Mealy-Automaten …
4.6 Start g; g –0/0→ g, g –1/1→ u, u –0/1→ u, u –1/0→ g. Ausgabe zu 111?
4.7 Was gehört nicht in eine Zeile des Ablaufprotokolls?
4.8 Alle Tests liefern die Soll-Ausgabe, aber ein Pfeil wurde nie benutzt. Dann …
Thema 5
Grenzen endlicher Automaten
8 Fragen
5.1 Das einzige Gedächtnis eines DEA ist …
5.2 Ein DEA mit k Zuständen kann höchstens … Vorgeschichten unterscheiden.
5.3 Welche Sprache ist nicht regulär?
5.4 Warum hilft ein DEA mit 1000 Zuständen nicht für {aⁿbⁿ | n ≥ 0}?
5.5 Korrekt geklammerte Ausdrücke mit Tiefe höchstens 2 …
5.6 Welche Wörter betrachtet man im Schubfach-Beweis für {aⁿbⁿ}?
5.7 Nach aⁱ und aʲ (i ≠ j) ist ein DEA im selben Zustand. Welche Wörter muss er gleich beurteilen?
5.8 Welche Aussage ist richtig?