|
Nimm als Zustände {0, 1}^5. Dann speichert jeder Zustand die aktuell letzten fünf Symbole. Füge Zustandsübergänge entsprechend ein. Alle Zustände, die mit einer 1 anfangen, akzeptieren.
Ist aufwendig zum Malen, besser vielleicht:
Q = {0, 1}^5
S = 00000
nächsterZustand(q = w0w1w2w3w4w5, a) = w1w2w3w4w5a
F = {1}{0, 1}^4
|