%definition 9.5, definition 9.2
lvonM(Ws):-sigma_stern(Ws),start(S),zustand(S),kellersymbol(Boden),kelleralphabet(Boden),es_plus(S,Ws,[Boden],NewState,[],[]).

%definition 5.3/ 5.4
es_plus(S,Ws,Stacks,NeuS,WNs,NeuStacks):-es(S,Ws,Stacks,NeuS,WNs,NeuStacks).
es_plus(S,Ws,Stacks,NeuerZu,WNs,NeuStacks):-es(S, Ws, Stacks, NeuS, Wes, NeuStackess),es_plus(NeuS,Wes,NeuStackess,NeuerZu,WNs,NeuStacks).
%definition 9.4
es(S,[A|W],[Top|Stacks],NeuS,W,NeuStacks):-deltaf(S, A, Top, NeuS, AufStack),append(AufStack, Stacks, NeuStacks).
es(S,W,[Top|Stacks],NeuS,W,NeuStacks):-deltaf(S,nix,Top, NeuS, AufStack),append(AufStack, Stacks, NeuStacks).