 | | | | | ||||||
| | | | | ||||||
| |
| | | ||||||
| | | | | ||||||
| | | | |
|
3.2.2 Mehr zu Übergängen |
Die Javascriptelemente dieser Seite funktionieren n i c h t mit dem Netscape Naviagator bis zur Version 4.78. Eine alternative Darstellung steht zur Verfügung.
| Als Skizze Von - Zu |
Formal | Versprachlicht (erst nach drücken sichtbar) | |
|---|---|---|---|
 |
  |
 (q1,a,x) = {(q1,xx),(q2, )}
|
Ist der Automat im Zustand q1, ist die aktuelle Eingabe
ein 'a' und das oberste Kellersymbol ein 'x', dann gibt es 2 Möglichkeiten:
|
 |
 |
(q,'auto', 'Z0') = {(p, 'auto' 'Z0')}
|
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.
(Drücken) Versprachlichung
|
 |
 |
(p,)  (q,2,2)
|
Gehe
in den Zustand q und poppe das oberste Kellersymbol, wenn Du im Zustand
q bist und sowohl die aktuelle Eingabe und das oberste Kellersymbol sind
'2'.
(Drücken) Versprachlichung
Diese Darstellung wird gewählt, wenn man aus der Menge der Übergänge für ein Tripel einen herausgreifen will, ohne Angaben über weitere Übergänge für dieses Tripel zu machen.
|
Nicht-Deterministische Kellerautomaten
1
2
3
4
5
6
Beispiel
|
|