Beispiel eines NEA

Beispiel eines NEA
Die blau dargestellten Zustände sind für den blau dargestellten Teil der Eingabe
erreichbar.
0,1
@ABC
/ GFED
z0
GFED
/ @ABC
z1
1
0,1
GFED
89:;
?>=<
/ @ABC
z2
10110
0,1
@ABC
/ GFED
z0
GFED
/ @ABC
z1
1
0,1
GFED
89:;
?>=<
/ @ABC
z2
10110
0,1
@ABC
/ GFED
z0
@ABC
/ GFED
z1
1
0,1
GFED
89:;
?>=<
/ @ABC
z2
10110
0,1
@ABC
/ GFED
z0
GFED
/ @ABC
z1
1
0,1
GFED
89:;
?>=<
/ @ABC
z2
10110
0,1
@ABC
/ GFED
z0
@ABC
/ GFED
z1
1
0,1
GFED
89:;
?>=<
/ @ABC
z2
10110
0,1
@ABC
/ GFED
z0
GFED
/ @ABC
z1
1
0,1
10110
Mit dem Eingabewort 10110 ist die Zustandsmenge {z0 , z2 } erreichbar;
d.h. 10110 wird vom NEA akzeptiert.
GFED
89:;
?>=<
/ @ABC
z2

Download Report