Keller-Automaten (II)

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)$\to_{A}^{}$(w', z', u'k'), falls

• w = xw' für x $\in$ $\Sigma$ und k = yk' und (z', u') $\in$ T(x, z, y)
• oder w = w' und k = yk' und (z', u') $\in$ T($\epsilon$, z, y)