next up previous
Next: Akzeptierte Sprachen Up: Arbeitsweise Previous: Bewegungen des Kellerautomaten

Zustandsbeschreibungen (Konfigurationen)

Eine Konfiguration k=(z,p,q) zu einer festen Zeit ist ein Tripel bestehend aus Zustand z, nicht verbrauchter Eingabe p und Kellerinhalt q. Zu jedem k existiert eine Folgekonfiguration k' (\( k\vdash k' \)).



Thomas Rabe
1999-09-23