Ein wechelseitig rekurisver
Algorithums zur nichtdeterministischen
Bottom-Up-analyse (in Perl
geschrieben)
liefert die folgende Lösung. Bessere Ergebnisse kannman
ggf. durch Umnummerierung der Regel erreichen.
Regeln:
0: S::=ApeK
1: S::=Ape
2: S::=peK
3: S::=pe
4: S::=BR
5: A::=As
6: A::=s
7: B::=tWl
8: B::=tl
9: W::=atze
10: W::=aWe
11: W::=ae
12: R::=wurm
13: R::=ApeK
14: R::=Ape
15: R::=peK
16: R::=pe
17: K::=Kk
18: K::=k
Wort: tatzelspekk
shift
(t,atzelspekk): shift
(ta,tzelspekk): shift
(tat,zelspekk): shift
(tatz,elspekk): shift
(tatze,lspekk): reduce, Regel 9 (W::=atze)
(tW,lspekk): shift
(tWl,spekk): reduce, Regel 7 (B::=tWl)
(B,spekk): shift
(Bs,pekk): reduce, Regel 6 (A::=s)
(BA,pekk): shift
(BAp,ekk): shift
(BApe,kk): reduce, Regel 1 (S::=Ape)
(BS,kk): shift
(BSk,k): reduce, Regel 18 (K::=k)
(BSK,k): shift
(BSKk,): reduce, Regel 17 (K::=Kk)
(BSK,): back: shift
back: Regel 17
reduce, Regel 18 (K::=k)
(BSKK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 18
shift
(BSkk,): reduce, Regel 18 (K::=k)
(BSkK,): back: shift
back: Regel 18
back: shift
back: shift
back: shift
back: Regel 1
reduce, Regel 3 (S::=pe)
(BAS,kk): shift
(BASk,k): reduce, Regel 18 (K::=k)
(BASK,k): shift
(BASKk,): reduce, Regel 17 (K::=Kk)
(BASK,): back: shift
back: Regel 17
reduce, Regel 18 (K::=k)
(BASKK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 18
shift
(BASkk,): reduce, Regel 18 (K::=k)
(BASkK,): back: shift
back: Regel 18
back: shift
back: shift
back: shift
back: Regel 3
reduce, Regel 14 (R::=Ape)
(BR,kk): reduce, Regel 4 (S::=BR)
(S,kk): shift
(Sk,k): reduce, Regel 18 (K::=k)
(SK,k): shift
(SKk,): reduce, Regel 17 (K::=Kk)
(SK,): back: shift
back: Regel 17
reduce, Regel 18 (K::=k)
(SKK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 18
shift
(Skk,): reduce, Regel 18 (K::=k)
(SkK,): back: shift
back: Regel 18
back: shift
back: shift
back: shift
back: Regel 4
shift
(BRk,k): reduce, Regel 18 (K::=k)
(BRK,k): shift
(BRKk,): reduce, Regel 17 (K::=Kk)
(BRK,): back: shift
back: Regel 17
reduce, Regel 18 (K::=k)
(BRKK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 18
shift
(BRkk,): reduce, Regel 18 (K::=k)
(BRkK,): back: shift
back: Regel 18
back: shift
back: shift
back: shift
back: Regel 14
reduce, Regel 16 (R::=pe)
(BAR,kk): shift
(BARk,k): reduce, Regel 18 (K::=k)
(BARK,k): shift
(BARKk,): reduce, Regel 17 (K::=Kk)
(BARK,): back: shift
back: Regel 17
reduce, Regel 18 (K::=k)
(BARKK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 18
shift
(BARkk,): reduce, Regel 18 (K::=k)
(BARkK,): back: shift
back: Regel 18
back: shift
back: shift
back: shift
back: Regel 16
shift
(BApek,k): reduce, Regel 18 (K::=k)
(BApeK,k): reduce, Regel 0 (S::=ApeK)
(BS,k): shift
(BSk,): reduce, Regel 18 (K::=k)
(BSK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 0
reduce, Regel 2 (S::=peK)
(BAS,k): shift
(BASk,): reduce, Regel 18 (K::=k)
(BASK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 2
reduce, Regel 13 (R::=ApeK)
(BR,k): reduce, Regel 4 (S::=BR)
(S,k): shift
(Sk,): reduce, Regel 18 (K::=k)
(SK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 4
shift
(BRk,): reduce, Regel 18 (K::=k)
(BRK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 13
reduce, Regel 15 (R::=peK)
(BAR,k): shift
(BARk,): reduce, Regel 18 (K::=k)
(BARK,): back: shift
back: Regel 18
back: shift
back: shift
back: Regel 15
shift
(BApeKk,): reduce, Regel 17 (K::=Kk)
(BApeK,): reduce, Regel 0 (S::=ApeK)
(BS,): back: shift
back: Regel 0
reduce, Regel 2 (S::=peK)
(BAS,): back: shift
back: Regel 2
reduce, Regel 13 (R::=ApeK)
(BR,): reduce, Regel 4 (S::=BR)
(S,): Wort tatzelspekk in L(G)