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