Beispiel Kellerautomat

NPDA { eingabealphabet = mkSet "ab"
 , kelleralphabet = mkSet "XA" 
 , zustandsmenge = mkSet [ 0, 1, 2]
 , startzustand = 0 , startsymbol = 'X' 
 , akzeptiert = Leerer_Keller
 -- ODER: , akzeptiert = Zustand ( mkSet [ 2 ] )
 , transitionen = collect 
     [ ( Just 'a' , 0 , 'A' , 0 , "AA" )
     , ( Just 'a' , 0 , 'X' , 0 , "AX" )
     , ( Just 'b' , 0 , 'A' , 1 , ""   )
     , ( Just 'b' , 1 , 'A' , 1 , ""   ) 
     ]
 }