Inhaltsverzeichnis - Automaten und Formale Sprachen

δ-Tabelle für 〈2〉, mit k-Werten:
q 2 4 7 9
a 4 〈2〉 7 〈2〉 7 〈2〉 9 〈2〉
b 5 〈1〉 8 〈1〉 7 〈2〉 9 〈2〉
Aufspaltung gemäß verschiedener Spalten: 〈2〉 := {2, 4}, 〈3〉 := {7, 9}.
Markiert: 〈1〉, 〈2〉, 〈3〉.
Neue Tabelle für 〈1〉, erhalten durch Ausbessern der alten Tabelle an den Stellen, wo die
Werte 7, 9 auftauchen:
q 0 1 3 5 6 8
a 1 〈1〉 3 〈1〉 6 〈1〉 8 〈1〉 1 〈1〉 1 〈1〉
b 2 〈2〉 4 〈2〉 7 〈3〉 9 〈3〉 2 〈2〉 2 〈2〉
Aufspalten: 〈1〉 := {0, 1, 6, 8}, 〈4〉 := {3, 5}.
Markiert: 〈1〉, 〈2〉, 〈3〉, 〈4〉.
Neue Tabelle für 〈1〉 (durch Weglassen der Spalten für 3 und 5 und Korrektur):
q 0 1 6 8
a 1 〈1〉 3 〈4〉 1 〈1〉 1 〈1〉
b 2 〈2〉 4 〈2〉 2 〈2〉 2 〈2〉
Aufspalten: 〈1〉 := {0, 6, 8}, 〈5〉 := {1}.
Markiert: 〈1〉, 〈2〉, 〈3〉, 〈4〉.
Neue Tabelle für 〈1〉 durch Weglassen der Spalte für 1 liefert, daß 〈1〉 unmarkiert wird
und auch nie mehr aufgespalten werden kann, weil die δ-Werte in allen Spalten gleich
sind.
Neue Tabelle für 〈2〉, durch Weglassen der Spalten für 7 und 9 und Korrektur:
q 2 4
a 4 〈2〉 7 〈3〉
b 5 〈4〉 8 〈1〉
Aufspalten liefert: 〈2〉 := {2}, 〈6〉 := {4}.
Markiert: 〈1〉 (kann ignoriert werden), 〈3〉, 〈4〉.
Tabelle für 〈3〉:
q 7 9
a 7 〈3〉 9 〈3〉
b 7 〈3〉 9 〈3〉
Also wird 〈3〉 unmarkiert.
58