Übung (10./12. 12. 03) autotool/Kellerautomaten

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, ""  ) 
             ]
     }