Id: bastelkeller.tex,v 1.3 2005/11/17 08:14:31 waldmann Exp
Aufgaben Acceptor-NPDA(det)-{OGleich,Gleich,Pali,Dyck}
Beispiel:
NPDA { eingabealphabet = mkSet "ab" , kelleralphabet = mkSet "XA" , zustandsmenge = mkSet [ 0, 1, 2] , startzustand = 0 , startsymbol = 'X' , akzeptiert = Leerer_Keller -- ODER: , akzeptiert = Zustand ( mkSet [ 2 ] ) , tafel = collect [ ( Just 'a', 0 , 'X', 0, "AX") , ( Just 'a', 0 , 'A', 0, "AA") , ( Just 'b', 0 , 'A', 2, "" ) , ( Just 'b', 2 , 'A', 2, "" ) ] }