data NPDA x y z = NPDA { eingabealphabet :: Set x , kelleralphabet :: Set y , zustandsmenge :: Set z , startzustand :: z , startsymbol :: y , akzeptiert :: Modus z , tafel :: Relation (Maybe x, z, y) (z, [y]) }
Übergangsrelation (w, z, k)(w', z', u'k'), falls