|
3.2.2 Automatenübergänge, versprachlicht |
(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'. 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. |
Zu Automatenübergängen |
|