Keller-Automaten

Id: keller.tex,v 1.1 2007-11-20 08:07:45 waldmann Exp

im Prinzip wie endlicher Automat, aber als Arbeitsspeicher nicht nur Zustand, sondern auch Keller (Band).

data Konfiguration x y z =
     Konfiguration { eingabe :: [ x ]
                   , zustand :: z
                   , keller  :: [ y ]
                   }

Ein Arbeitsschritt ist abhängig vom obersten Kellersymbol y und Zustand z und besteht aus:

• Zeichen x lesen oder $\epsilon$ lesen
• neuen Zustand annehmen und
• oberstes Kellersymbol ersetzen