 | | | | | ||||||
| | | | | ||||||
| |
| | | ||||||
| | | | | ||||||
| | | | |
|
3.2.2 Automatenübergänge, versprachlicht |
 |
 |
 (q1,a,x) = {(q1,xx),(q2, )}
|
Ist der Automat im Zustand q, ist die aktuelle Eingabe 'auto' und das oberste Kellersymbol ein 'Z0', dann wechsle in den Zustand p und füge 'auto' zum Keller hinzu. |
Zu Automatenübergängen
|
|