|
1. |
Der Akzeptor wählt willkürlich einen
der drei Folgezustände s1,s2,s3 aus
und nimmt diesen Zustand an.
Zugleich wird das Zeichen x gelesen. |
|
2. |
Der Akzeptor wählt zufällig einen
der drei Folgezustände s1,s2,s3 -
jeweils mit Wahrscheinlichkeit 1/3 - aus und nimmt diesen Zustand an.
Zugleich wird das Zeichen x gelesen. |
|
3. |
Eine solche Situation ist lt. Definition von
nichtdeterministischen Akzeptoren gar nicht zugelassen. |
|
4. |
Der Akzeptor wählt den kleinsten der
drei Folgezustände s1,s2,s3 bezgl.
einer vorgegebenen Numerierung aus und nimmt diesen Zustand an.
Zugleich wird das Zeichen x gelesen. |
|
5. |
Der Akzeptor wählt den Folgezustand aus
s1,s2,s3 so aus, daß er schließlich
einen Endzustand erreicht, sofern das Eingabewort in der akzeptierten Sprache
liegt.
Zugleich wird das Zeichen x gelesen. |
|
6. |
Der Akzeptor merkt sich den Folgezustand aus
s1, s2 oder s3, den er beim letzten Mal
gewählt hat, als er im Zustand s war. Nun wählt er als Folgezustand
s(i+1) mod 3.
Zugleich wird das Zeichen x gelesen. |