2.8. Általános alulról-felfelé elemzés

[Megjegyzés]Megjegyzés

A feladatmegoldások során felső indexként jelöljük a lépések Fülöp Zoltán jegyzete [Fülöp99] szerinti sorszámát.

    1. (q,1,λ,λ), 2(q,2,i,s), 1(q,2,F,5s), 1(q,2,T,45s), 1(q,2,E,245s), 2(q,3,E*,s245s), 2(q,4,E*i,ss245s), 1(q,4,E*F,5ss245s), 1(q,4,E*T,45ss245s), 1(q,4,E*E,245ss245s), 2(q,5,E*E+,s245ss245s), 4(b,5,E*E+,s245ss245s), 5.4(b,4,E*E,245ss245s), 5.3(q,5,E*T+,s45ss245s), 4(b,5,E*T+,s45ss245s), 5.4(b,4,E*T,45ss245s), 5.3(q,5,E*F+,s5ss245s), 4(b,5,E*F+,s5ss245s), 5.4(b,4,E*F,5ss245s), 5.3(q,5,E*i+,sss245s), 4(b,5,E*i+,sss245s), 5.4(b,4,E*i,ss245s), 5.4(b,3,E*,s245s), 5.4(b,2,E,245s), 5.3(q,3,T*,s45s), 2(q,4,T*i,ss45s), 1(q,4,T*F,5ss45s), 1(q,4,T,35ss45s), 1(q,4,E,235ss45s), 2(q,5,E+,s235ss45s), 4(b,5,E+,s235ss45s), 5.4(b,4,E,235ss45s), 5.3(q,5,T+,s35ss45s), 4(b,5,T+,s35ss45s), 5.4(b,4,T,35ss45s), 5.1(q,4,T*T,45ss45s), 1(q,4,T*E,245ss45s), 2(q,5,T*E+,s245ss45s), 4(b,5,T*E+,s245ss45s), 5.4(b,4,T*E,245ss45s), 5.3(q,5,T*T+,s45ss45s), 4(b,5,T*T+,s45ss45s), 5.4(b,4,T*T,45ss45s), 5.3(q,5,T*F+,s5ss45s), 4(b,5,T*F+,s5ss45s), 5.4(b,4,T*F,5ss45s), 5.3(q,5,T*i+,sss45s), 4(b,5,T*i+,sss45s), 5.4(b,4,T*i,ss45s), 5.4(b,3,T*,s45s), 5.4(b,2,T,45s), 5.3(q,3,F*,s5s), 2(q,4,F*i,ss5s), 1(q,4,F*F,5ss5s), 1(q,4,F*T,45ss5s), 1(q,4,F*E,245ss5s), 2(q,5,F*E+,s245ss5s), 4(b,5,F*E+,s245ss5s), 5.4(b,4,F*E,245ss5s), 5.3(q,5,F*T+,s45ss5s), 4(b,5,F*T+,s45ss5s), 5.4(b,4,F*T,45ss5s), 5.3(q,5,F*F+,s5ss5s), 4(b,5,F*F+,s5ss5s), 5.4(b,4,F*F,5ss5s), 5.3(q,5,F*i+,sss5s), 4(b,5,F*i+,sss5s), 5.4(b,4,F*i,ss5s), 5.4(b,3,F*,s5s), 5.4(b,2,F,5s), 5.3(q,3,i*,ss), 2(q,4,i*i,sss), 1(q,4,i*F,5sss), 1(q,4,i*T,45sss), 1(q,4,i*E,245sss), 2(q,5,i*E+,s245sss), 4(b,5,i*E+,s245sss), 5.4(b,4,i*E,245sss), 5.3(q,5,i*T+,s45sss), 4(b,5,i*T+,s45sss), 5.4(b,4,i*T,45sss), 5.3(q,5,i*F+,s5sss), 4(b,5,i*F+,s5sss), 5.4(b,4,i*F,5sss), 5.3(q,5,i*i+,ssss), 4(b,5,i*i+,ssss), 5.4(b,4,i*i,sss), 5.4(b,3,i*,ss), 5.4(b,2,i,s), 5.4(b,1,λ,λ)
    2. (q,1,λ,λ), 2(q,2,i,s), 1(q,2,F,5s), 1(q,2,T,45s), 1(q,2,E,245s), 2(q,3,E*,s245s), 2(q,4,E*i,ss245s), 1(q,4,E*F,5ss245s), 1(q,4,E*T,45ss245s), 1(q,4,E*E,245ss245s), 4(b,4,E*E,245ss245s), 5.2(b,4,E*T,45ss245s), 5.2(b,4,E*F,5ss245s), 5.2(b,4,E*i,ss245s), 5.4(b,3,E*,s245s), 5.4(b,2,E,245s), 5.3(q,3,T*,s45s), 2(q,4,T*i,ss45s), 1(q,4,T*F,5ss45s), 1(q,4,T,35ss45s), 1(q,4,E,235ss45s)
    1. (q,1,λ,λ), 2(q,2,a,s), 2(q,3,ab,ss), 2(q,4,aba,sss), 2(q,5,abab,ssss), 4(b,5,abab,ssss), 5.4(b,4,aba,sss), 5.4(b,3,ab,ss), 5.4(b,2,a,s), 5.4(b,1,λ,λ)
    2. (q,1,λ,λ), 2(q,2,a,s), 2(q,3,aa,ss), 2(q,4,aab,sss), 2(q,5,aabc,ssss), 1(q,5,aabB,5ssss), 1(q,5,aabA,35ssss), 4(b,5,aabA,35ssss), 5.1(q,5,aaB,45ssss), 1(q,5,aaA,345ssss), 4(b,5,aaA,345ssss), 5.2(b,5,aaB,45ssss), 5.2(b,5,aabB,5ssss), 5.2(b,5,aabc,ssss), 5.4(b,4,aab,sss), 5.4(b,3,aa,ss), 5.4(b,2,a,s), 5.4(b,1,λ,λ)
    1. (q,1,λ,λ), 2(q,2,a,s), 2(q,3,ab,ss), 1(q,3,aA,4ss), 1(q,3,A,34ss), 2(q,4,Ab,s34ss), 1(q,4,AA,4s34ss), 1(q,4,B,54s34ss), 2(q,5,Ba,s54s34ss), 2(q,6,Bab,ss54s34ss), 1(q,6,BaA,4ss54s34ss), 1(q,6,BA,34ss54s34ss), 4(b,6,BA,34ss54s34ss), 5.2(b,6,BaA,4ss54s34ss), 5.2(b,6,Bab,ss54s34ss), 5.4(b,5,Ba,s54s34ss), 5.4(b,4,B,54s34ss), 5.3(q,5,AAa,s4s34ss), 2(q,6,AAab,ss4s34ss), 1(q,6,AAaA,4ss4s34ss), 1(q,6,AAA,34ss4s34ss), 1(q,6,AB,534ss4s34ss), 1(q,6,S,1534ss4s34ss)
    2. (q,1,λ,λ), 2(q,2,b,s), 1(q,2,A,4s), 2(q,3,Ab,s4s), 1(q,3,AA,4s4s), 1(q,3,B,54s4s), 2(q,4,Bb,s54s4s), 1(q,4,BA,4s54s4s), 2(q,5,BAb,s4s54s4s), 1(q,5,BAA,4s4s54s4s), 1(q,5,BB,54s4s54s4s), 4(b,5,BB,54s4s54s4s), 5.2(b,5,BAA,4s4s54s4s), 5.2(b,5,BAb,s4s54s4s), 5.4(b,4,BA,4s54s4s), 5.3(q,5,Bbb,ss54s4s), 1(q,5,BbA,4ss54s4s), 4(b,5,BbA,4ss54s4s), 5.2(b,5,Bbb,ss54s4s), 5.4(b,4,Bb,s54s4s), 5.4(b,3,B,54s4s), 5.3(q,4,AAb,s4s4s), 1(q,4,AAA,4s4s4s), 1(q,4,AB,54s4s4s), 1(q,4,S,154s4s4s), 2(q,5,Sb,s154s4s4s), 1(q,5,SA,4s154s4s4s), 4(b,5,SA,4s154s4s4s), 5.2(b,5,Sb,s154s4s4s), 5.4(b,4,S,154s4s4s), 5.3(q,5,ABb,s54s4s4s), 1(q,5,ABA,4s54s4s4s), 4(b,5,ABA,4s54s4s4s), 5.2(b,5,ABb,s54s4s4s), 5.4(b,4,AB,54s4s4s), 5.3(q,5,AAAb,s4s4s4s), 1(q,5,AAAA,4s4s4s4s), 1(q,5,AAB,54s4s4s4s), 1(q,5,AS,154s4s4s4s), 4(b,5,AS,154s4s4s4s), 5.2(b,5,AAB,54s4s4s4s), 5.2(b,5,AAAA,4s4s4s4s), 5.2(b,5,AAAb,s4s4s4s), 5.4(b,4,AAA,4s4s4s), 5.3(q,5,AAbb,ss4s4s), 1(q,5,AAbA,4ss4s4s), 4(b,5,AAbA,4ss4s4s), 5.2(b,5,AAbb,ss4s4s), 5.4(b,4,AAb,s4s4s), 5.4(b,3,AA,4s4s), 5.3(q,4,Abb,ss4s), 1(q,4,AbA,4ss4s), 2(q,5,AbAb,s4ss4s), 1(q,5,AbAA,4s4ss4s), 1(q,5,AbB,54s4ss4s), 4(b,5,AbB,54s4ss4s), 5.2(b,5,AbAA,4s4ss4s), 5.2(b,5,AbAb,s4ss4s), 5.4(b,4,AbA,4ss4s), 5.3(q,5,Abbb,sss4s), 1(q,5,AbbA,4sss4s), 4(b,5,AbbA,4sss4s), 5.2(b,5,Abbb,sss4s), 5.4(b,4,Abb,ss4s), 5.4(b,3,Ab,s4s), 5.4(b,2,A,4s), 5.3(q,3,bb,ss), 1(q,3,bA,4ss), 2(q,4,bAb,s4ss), 1(q,4,bAA,4s4ss), 1(q,4,bB,54s4ss), 2(q,5,bBb,s54s4ss), 1(q,5,bBA,4s54s4ss), 4(b,5,bBA,4s54s4ss), 5.2(b,5,bBb,s54s4ss), 5.4(b,4,bB,54s4ss), 5.3(q,5,bAAb,s4s4ss), 1(q,5,bAAA,4s4s4ss), 1(q,5,bAB,54s4s4ss), 1(q,5,bS,154s4s4ss), 4(b,5,bS,154s4s4ss), 5.2(b,5,bAB,54s4s4ss), 5.2(b,5,bAAA,4s4s4ss)ű, 5.2(b,5,bAAb,s4s4ss), 5.4(b,4,bAA,4s4ss), 5.3(q,5,bAbb,ss4ss), 1(q,5,bAbA,4ss4ss), 4(b,5,bAbA,4ss4ss), 5.2(b,5,bAbb,ss4ss), 5.4(b,4,bAb,s4ss), 5.4(b,3,bA,4ss), 5.3(q,4,bbb,sss), 1(q,4,bbA,4sss), 2(q,5,bbAb,s4sss), 1(q,5,bbAA,4s4sss), 1(q,5,bbB,54s4sss), 4(b,5,bbB,54s4sss), 5.2(b,5,bbAA,4s4sss), 5.2(b,5,bbAb,s4sss), 5.4(b,4,bbA,4sss), 5.3(q,5,bbbb,ssss), 1(q,5,bbbA,4ssss), 4(b,5,bbbA,4ssss), 5.2(b,5,bbbb,ssss), 5.4(b,4,bbb,sss), 5.4(b,3,bb,ss), 5.4(b,2,b,s), 5.4(b,1,λ,λ)
    1. (q,1,λ,λ), 2(q,2,(,s), 2(q,3,((,ss), 2(q,4,((),sss), 1(q,4,(S,2sss), 2(q,5,(S),s2sss), 4(b,5,(S),s2sss), 5.4(b,4,(S,2sss), 5.3(q,5,(()),ssss), 4(b,5,(()),ssss), 5.4(b,4,((),sss), 5.4(b,3,((,ss), 5.4(b,2,(,s), 5.4(b,1,λ,λ)
    2. (q,1,λ,λ), 2(q,2,(,s), 2(q,3,(),ss), 1(q,3,S,2ss), 2(q,4,S),s2ss), 2(q,5,S)),ss2ss), 4(b,5,S)),ss2ss), 5.4(b,4,S),s2ss), 5.4(b,3,S,2ss), 5.3(q,4,()),sss), 2(q,5,())),ssss), 4(b,5,())),ssss), 5.4(b,4,()),sss), 5.4(b,3,(),ss), 5.4(b,2,(,s), 5.4(b,1,λ,λ)
    1. (q,1,λ,λ), 2(q,2,a,s), 1(q,2,S,3s), 2(q,3,Sb,s3s), 1(q,3,SS,4s3s), 2(q,4,SSb,s4s3s), 1(q,4,SSS,4s4s3s), 2(q,5,SSSa,s4s4s3s), 1(q,5,SSSS,3s4s4s3s), 4(b,5,SSSS,3s4s4s3s), 5.2(b,5,SSSa,s4s4s3s), 5.4(b,4,SSS,4s4s3s), 5.3(q,5,SSba,ss4s3s), 1(q,5,SSbS,3ss4s3s), 4(b,5,SSbS,3ss4s3s), 5.2(b,5,SSba,ss4s3s), 5.4(b,4,SSb,s4s3s), 5.4(b,3,SS,4s3s), 5.3(q,4,Sbb,ss3s), 1(q,4,SbS,4ss3s), 2(q,5,SbSa,s4ss3s), 1(q,5,SbSS,3s4ss3s), 4(b,5,SbSS,3s4ss3s), 5.2(b,5,SbSa,s4ss3s), 5.4(b,4,SbS,4ss3s), 5.1(q,4,SS,6ss3s), 2(q,5,SSa,s6ss3s), 1(q,5,SSS,3s6ss3s), 4(b,5,SSS,3s6ss3s), 5.2(b,5,SSa,s6ss3s), 5.4(b,4,SS,6ss3s), 5.3(q,5,Sbba,sss3s), 1(q,5,SbbS,3sss3s), 4(b,5,SbbS,3sss3s), 5.2(b,5,Sbba,sss3s), 5.4(b,4,Sbb,ss3s), 5.4(b,3,Sb,s3s), 5.4(b,2,S,3s), 5.3(q,3,ab,ss), 1(q,3,aS,4ss), 2(q,4,aSb,s4ss), 1(q,4,aSS,4s4ss), 2(q,5,aSSa,s4s4ss), 1(q,5,aSSS,3s4s4ss), 4(b,5,aSSS,3s4s4ss), 5.2(b,5,aSSa,s4s4ss), 5.4(b,4,aSS,4s4ss), 5.3(q,5,aSba,ss4ss), 1(q,5,aSbS,3ss4ss), 4(b,5,aSbS,3ss4ss), 5.2(b,5,aSba,ss4ss), 5.4(b,4,aSb,s4ss), 5.4(b,3,aS,4ss), 5.3(q,4,abb,sss), 1(q,4,abS,4sss), 2(q,5,abSa,s4sss), 1(q,5,abSS,3s4sss), 4(b,5,abSS,3s4sss), 5.2(b,5,abSa,s4sss), 5.4(b,4,abS,4sss), 5.1(q,4,aS,6sss), 2(q,5,aSa,s6sss), 1(q,5,S,1s6sss)
    2. (q,1,λ,λ), 2(q,2,a,s), 1(q,2,S,3s), 2(q,3,Sb,s3s), 1(q,3,SS,4s3s), 2(q,4,SSa,s4s3s), 1(q,4,SSS,3s4s3s), 2(q,5,SSSb,s3s4s3s), 1(q,5,SSSS,4s3s4s3s), 4(b,5,SSSS,4s3s4s3s), 5.2(b,5,SSSb,s3s4s3s), 5.4(b,4,SSS,3s4s3s), 5.3(q,5,SSab,ss4s3s), 1(q,5,SSaS,4ss4s3s), 4(b,5,SSaS,4ss4s3s), 5.2(b,5,SSab,ss4s3s), 5.4(b,4,SSa,s4s3s), 5.4(b,3,SS,4s3s), 5.3(q,4,Sba,ss3s), 1(q,4,SbS,3ss3s), 2(q,5,SbSb,s3ss3s), 1(q,5,SS,2s3ss3s), 4(b,5,SS,2s3ss3s), 5.1(q,5,SbSS,4s3ss3s), 4(b,5,SbSS,4s3ss3s), 5.2(b,5,SbSb,s3ss3s), 5.4(b,4,SbS,3ss3s), 5.3(q,5,Sbab,sss3s), 1(q,5,SbaS,4sss3s), 4(b,5,SbaS,4sss3s), 5.2(b,5,Sbab,sss3s), 5.4(b,4,Sba,ss3s), 5.4(b,3,Sb,s3s), 5.4(b,2,S,3s), 5.3(q,3,ab,ss), 1(q,3,aS,4ss), 2(q,4,aSa,s4ss), 1(q,4,S,1s4ss), 2(q,5,Sb,s1s4ss), 1(q,5,SS,4s1s4ss), 4(b,5,SS,4s1s4ss), 5.2(b,5,Sb,s1s4ss), 5.4(b,4,S,1s4ss), 5.1(q,4,aSS,3s4ss), 2(q,5,aSSb,s3s4ss), 1(q,5,aSSS,4s3s4ss), 4(b,5,aSSS,4s3s4ss), 5.2(b,5,aSSb,s3s4ss), 5.4(b,4,aSS,3s4ss), 5.3(q,5,aSab,ss4ss), 1(q,5,aSaS,4ss4ss), 4(b,5,aSaS,4ss4ss), 5.2(b,5,aSab,ss4ss), 5.4(b,4,aSa,s4ss), 5.4(b,3,aS,4ss), 5.3(q,4,aba,sss), 1(q,4,abS,3sss), 2(q,5,abSb,s3sss), 1(q,5,aS,2s3sss), 4(b,5,aS,2s3sss), 5.1(q,5,abSS,4s3sss), 4(b,5,abSS,4s3sss), 5.2(b,5,abSb,s3sss), 5.4(b,4,abS,3sss), 5.3(q,5,abab,ssss), 1(q,5,abaS,4ssss), 4(b,5,abaS,4ssss), 5.2(b,5,abab,ssss), 5.4(b,4,aba,sss), 5.4(b,3,ab,ss), 5.4(b,2,a,s), 5.4(b,1,λ,λ)