Id: keller.tex,v 1.2 2005/01/11 12:37:16 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: