Id: keller.tex,v 1.3 2005/11/17 08:14:31 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: