next up previous
Next: Zustandsbeschreibungen (Konfigurationen) Up: Arbeitsweise Previous: Arbeitsweise

Bewegungen des Kellerautomaten

Der Automat kann 2 Typen von Bewegungen ausführen:

\( \delta (z,x,y)=\{(z_{1},y_{1}),...,(z_{n},y_{n})\} \) bedeutet: Im Zustand z, bei Eingabezeichen x und oberstem Kellersymbol y bewegt sich der Lesekopf um ein Zeichen nach rechts, wechselt in einen der Zustände zi und ersetzt y durch yi. Ist \( x=\epsilon \), bewegt sich der Lesekopf nicht.



Thomas Rabe
1999-09-23