Bewegungen des Kellerautomaten

Next: Zustandsbeschreibungen (Konfigurationen) Up: Arbeitsweise Previous: Arbeitsweise

Bewegungen des Kellerautomaten

Der Automat kann 2 Typen von Bewegungen ausführen:

Das oberste Kellersymbol wird abhängig von Eingabe, Zustand und Keller geändert. Der Lesekopf bewegt sich ein Zeichen nach rechts und es erfolgt ein Zustandswechsel.
$\epsilon$ -Bewegung: Keller und Zustand werden unabhängig von der Eingabe verändert; der Lesekopf bewegt sich nicht.

$\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 z_i und ersetzt y durch y_i. Ist $x=\epsilon$ , bewegt sich der Lesekopf nicht.

Thomas Rabe
1999-09-23