Beispiel eines NEA
Dieblaudargestellten Zust¨ande sind f¨ur denblaudargestellten Teil der Eingabe erreichbar.
//GFED@ABCz0 1 //
0,1
GFED@ABCz1
0,1 //GFED@ABC?>=<89:;z2
10110
//GFED@ABCz0 1 //
0,1
GFED@ABCz1 0,1 //GFED@ABC?>=<89:;z2 10110
//GFED@ABCz0 1 //
0,1
GFED@ABCz1 0,1 //GFED@ABC?>=<89:;z2 10110
//GFED@ABCz0 1 //
0,1
GFED@ABCz1
0,1 //GFED@ABC?>=<89:;z2
10110
//GFED@ABCz0 1 //
0,1
GFED@ABCz1
0,1 //GFED@ABC?>=<89:;z2
10110
//GFED@ABCz0 1 //
0,1
GFED@ABCz1
0,1 //GFED@ABC?>=<89:;z2
10110
Mit dem Eingabewort 10110 ist die Zustandsmenge{z0, z2} erreichbar;
d.h. 10110 wird vom NEA akzeptiert.