Id: bastelkeller.tex,v 1.2 2005/01/11 12:37:16 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, "" ) ] }