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: