2.13. LR(1) elemzés

  1. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → Sa

    • 2: S → a

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .Sa, $a], [S → .a, $a]}
    I1=V1(S)={[S' → S., $], [S → S.a, $a]}
    I2=V1(a)={[S → a., $a]}
    I3=V1(Sa)={[S → Sa., $a]}

    Ezek alapján az elemző táblázat a következő lesz:

     a$S
    0s2 1
    1s3acc 
    2r2r2 
    3r1r1 
  2. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → Aa

    • 2: S → Bb

    • 3: A → cA

    • 4: A → c

    • 5: B → cB

    • 6: B → c

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .Aa, $], [S → .Bb, $], [A → .cA, a], [A → .c, a], [B → .cB, b], [B → .c, b]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A.a, $]}
    I3=V1(B)={[S → B.b, $]}
    I4=V1(c)={[A → c.A, a], [A → c., a], [B → c.B, b], [B → c., b], [A → .cA, a], [A → .c, a], [B → .cB, b], [B → .c, b]}=V1(cc)
    I5=V1(Aa)={[S → Aa., $]}
    I6=V1(Bb)={[S → Bb., $]}
    I7=V1(cA)={[A → cA., a]}
    I8=V1(cB)={[B → cB., b]}

    Ennek megfelelően a táblázat a következő:

     abc$SAB
    0  s4 123
    1   acc   
    2s5      
    3 s6     
    4r4r6s4  78
    5   r1   
    6   r2   
    7r3      
    8 r5     
  3. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → aA

    • 2: S → bec

    • 3: S → bc

    • 4: A → ed

    • 5: A → d

    • 6: A → fc

    • 7: A → c

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .aA, $], [S → .bec, $], [S → .bc, $]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(a)={[S → a.A, $], [A → e.d, $], [A → .d, $], [A → .fc, $], [A → .c, $]}
    I3=V1(b)={[S → b.ec, $], [S → b.c, $]}
    I4=V1(aA)={[S → aA., $]}
    I5=V1(ad)={[A → ed., $], [A → d., $]}
    I6=V1(af)={[A → f.c, $]}
    I7=V1(ac)={[A → c., $]}
    I8=V1(be)={[S → be.c, $]}
    I9=V1(bc)={[S → bc., $]}
    I10=V1(afc)={[A → fc., $]}
    I11=V1(bec)={[S → bec., $]}

    Ennek megfelelően a táblázat a következő:

     abcdef$SA
    0s2s3     1 
    1      acc  
    2  s7s5 s6  4
    3  s9 s8    
    4      r1  
    5      r4/r5  
    6  s10      
    7      r7  
    8  s11      
    9      r3  
    10      r6  
    11      r2  
  4. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → AaS

    • 2: S → A

    • 3: A → bcA

    • 4: A → b

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .AaS, $], [S → .A, $], [A → .bcA, a$], [A → .b, a$]}
    I1=V1(S)={[I → S., $]}
    I2=V1(A)={[S → A.aS, $], [S → A., $]}=V1(AaA)
    I3=V1(b)={[A → b.cA, a$], [A → b., a$]}=V1(Aab)=V1(bcb)
    I4=V1(Aa)={[S → Aa.S, $], [S → .AaS, $], [S → .A, $], [A → .bcA, a$], [A → .b, a$]}
    I5=V1(bc)={[A → bc.A, a$], [A → .bcA, a$], [A → .b, a$]}
    I6=V1(AaS)={[S → AaS., $]}
    I7=V1(bcA)={[A → bcA., a$]}

    Ennek megfelelően a táblázat a következő:

     abc$SA
    0 s3  12
    1   acc  
    2s4  r2  
    3r4 s5r4  
    4 s3  62
    5 s3   7
    6   r1  
    7r3  r3  
  5. Tekintsük a kiegészített nyelvtant!

    • 0: S' → E

    • 1: E → E+T

    • 2: E → T

    • 3: T → T*F

    • 4: T → F

    • 5: F → (E)

    • 6: F → i

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .E, $], [E → .E+T, $+], [E → .T, $+], [T → .T*F, $+*], [T → .F, $+*], [F → .(E), $+*], [F → .i, $+*]}
    I1=V1(E)={[S' → E., $], [E → E.+T, $+]}
    I2=V1(T)={[E → T., $+], [T → T.*F, $+*]}
    I3=V1(F)={[T → F., $+*]}=V1(E+F)
    I4=V1( ( )={[F → (.E), $+*], [E → .E+T, )+], [E → .T, )+], [T → .T*F, )+*], [T → .F, )+*], [F → .(E), )+*], [F → .i, )+*]}=V1(E+( )=V1(T*( )
    I5=V1(i)={[F → i., $+*]}=V1(E+i)=V1(T*i)
    I6=V1(E+)={[E → E+.T, $+], [T → .T*F, $+*], [T → .F, $+*], [F → .(E), $+*], [F → .i, $+*]}
    I7=V1(T*)={[T → T*.F, $+*], [F → .(E), $+*], [F → .i, $+*]}
    I8=V1( (E )={[F → (E.), $+*], [E → E.+T, )+]}
    I9=V1( (T )={[E → T., )+], [T → T.*F, )+*]}=V1( ((T )
    I10=V1( (F )={[T → F., )+*]}=V1( ((F )=V1( (E+F )
    I11=V1( (( )={ [F → (.E), )+*], [E → .E+T, )+], [E → .T, )+], [T → .T*F, )+*], [T → .F, )+*], [F → .(E), )+*], [F → .i, )+*]}=V1( ((( )=V1( (E+( )=V1( (T*( )
    I12=V1( (i )={[F → i., )+*]}=V1( (E+i )=V1( (T*i )
    I13=V1(E+T)={[E → E+T., $+], [T → T.*F, $+*]}
    I14=V1(T*F)={[T → T*F., $+*]}
    I15=V1( (E) )={[F → (E)., $+*]}
    I16=V1( (E+ )={[E → E+.T, )+], [T → .T*F, )+*], [T → .F, )+*], [F → .(E), )+*], [F → .i, )+*]}=V1( ((E+ )
    I17=V1( (T* )={[T → T*.F, )+*], [F → .(E), )+*], [F → .i, )+*]}=V1( (E+T* )
    I18=V1( ((E )={[F → (E.), )+*], [E → E.+T, )+]}
    I19=V1( (E+T )={[E → E+T., )+], [T → T.*F, )+*]}
    I20=V1(T*F)={[T → T*F., )+*]}
    I21=V1( ((E) )={[F → (E)., )+*]}

    Ennek megfelelően a táblázat a következő:

     ()*+i$ETF
    0s4   s5 123
    1   s6 acc   
    2  s7r2 r2   
    3  r4r4 r4   
    4s11   s12 8910
    5  r6r6 r6   
    6s4   s5  133
    7s4   s5   14
    8 s15 s16     
    9 r2s17r2     
    10 r4r4r4     
    11s11   s12 18910
    12 r6r6r6     
    13  s7r1 r1   
    14  r3r3 r3   
    15  r5r5 r5   
    16s11   s12  1910
    17s11   s12   20
    18 s21       
    19 r1s17r1     
    20 r3r3r3     
    21 r5r5r5     
  6. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → a

    • 2: S → ibtS

    • 3: S → ibtSeS

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .a, $], [S → .ibtS, $], [S → .ibtSeS, $]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(a)={[S → a., $]}=V1(ibta)=V1(ibtSea)
    I3=V1(i)={[S → i.btS, $], [S → i.btSeS, $]}=V1(ibti)=V1(ibtSei)
    I4=V1(ib)={[S → ib.tS, $], [S → ib.tSeS, $]}
    I5=V1(ibt)={[S → ibt.S, $], [S → ibt.SeS, $], [S → .a, $], [S → .ibtS, $], [S → .ibtSeS, $]}
    I6=V1(ibtS)={[S → ibtS., $], [S → ibtS.eS, $]}
    I7=V1(ibtSe)={[S → ibtSe.S, $]}
    I8=V1(ibtSeS)={[S → ibtSeS., $]}

    Ennek megfelelően a táblázat a következő:

     abeit$S
    0s2  s3  1
    1     acc 
    2     r1 
    3 s4     
    4    s5  
    5s2  s3  6
    6  s7  r2 
    7s2  s3  8
    8     r3 
  7. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → AA

    • 2: A → b

    • 3: A → aA

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .AA, $], [A → .b, ba], [A → .aA, ba]}
    I1=V1(S)={[I → S., $]}
    I2=V1(A)={[S → A.A, $], [A → .b, $], [A → .aA, $]}
    I3=V1(b)={[A → b., ba]}=V1(ab)
    I4=V1(a)={[A → a.A, ba], [A → .b, ba], [A → .aA, ba]}=V1(aa)
    I5=V1(AA)={[S → AA., $]}
    I6=V1(Ab)={[A → b., $]}=V1(Aab)
    I7=V1(Aa)={[A → a.A, $], [A → .b, $], [A → .aA, $]}=V1(Aaa)
    I8=V1(aA)={[A → aA., ba]}
    I9=V1(AaA)={[A → aA., $]}

    Ennek megfelelően a táblázat a következő:

     ab$SA
    0s4s3 12
    1  acc  
    2s7s6  5
    3r2r2   
    4s4s3  8
    5  r1  
    6  r2  
    7s7s6  9
    8r3r3   
    9  r3  
  8. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → aBa

    • 2: S → cC

    • 3: B → b

    • 4: B → bD

    • 5: C → aD

    • 6: C → b

    • 7: D → ac

    • 8: D → aac

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .aBa, $], [S → .cC, $]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(a)={[S → a.Ba, $], [B → .b, a], [B → .bD, a]}
    I3=V1(c)={[S → c.C, $], [C → .aD, $], [C → .b, $]}
    I4=V1(aB)={[S → aB.a, $]}
    I5=V1(ab)={[B → b., a], [B → b.D, a], [D → .ac, a], [D → .aac, a]}
    I6=V1(cC)={[S → cC., $]}
    I7=V1(ca)={[C → a.D, $], [D → .ac, $], [D → .aac, $]}
    I8=V1(cb)={[C → b., $]}
    I9=V1(aBa)={[S → aBa., $]}
    I10=V1(abD)={[B → bD., a]}
    I11=V1(aba)={[D → a.c, a], [D → a.ac, a]}
    I12=V1(caD)={[C → aD., $]}
    I13=V1(caa)={[D → a.c, $], [D → a.ac, $]}
    I14=V1(abac)={[D → ac., a]}
    I15=V1(abaa)={[D → aa.c, a]}
    I16=V1(caac)={[D → ac., $]}
    I17=V1(caaa)={[D → aa.c, $]}
    I18=V1(abaac)={[D → aac., a]}
    I19=V1(caaac)={[D → aac., $]}

    Ennek megfelelően a táblázat a következő:

     abc$SBCD
    0s2 s3 1   
    1   acc    
    2 s5   4  
    3s7s8    6 
    4s9       
    5r3/s11      10
    6   r2    
    7s13      12
    8   r6    
    9   r1    
    10r4       
    11s15 s14     
    12   r5    
    13s17 s16     
    14r7       
    15  s18     
    16   r7    
    17  19     
    18r8       
    19   r8    
  9. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → A

    • 2: S → AB

    • 3: A → aAb

    • 4: A → ab

    • 5: B → bBc

    • 6: B → bc

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .A, $], [S → .AB, $], [A → .aAb, $b], [A → .ab, $b]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A., $], [S → A.B, $], [B → .bBc, $], [B → .bc, $]}
    I3=V1(a)={[A → a.Ab, $b], [A → a.b, $b], [A → .aAb, b], [A → .ab, b]}
    I4=V1(AB)={[S → AB., $]}
    I5=V1(Ab)={[B → b.Bc, $], [B → b.c, $], [B → .bBc, c], [B → .bc, c]}
    I6=V1(aA)={[A → aA.b, $b]}
    I7=V1(ab)={[A → ab., $b]}
    I8=V1(aa)={[A → a.Ab, b], [A → a.b, b], [A → .aAb, b], [A → .ab, b]}=V1(aaa)
    I9=V1(AbB)={[B → bB.c, $]}
    I10=V1(Abc)={[B → bc., $]}
    I11=V1(Abb)={[B → b.Bc, c], [B → b.c, c], [B → .bBc, c], [B → .bc, c]}=V1(Abbb)
    I12=V1(aAb)={[A → aAb., $b]}
    I13=V1(aaA)={[A → aA.b, b]}
    I14=V1(aab)={[A → ab., b]}
    I15=V1(AbBc)={[B → bBc., $]}
    I16=V1(AbbB)={[B → bB.c, c]}
    I17=V1(Abbc)={[B → bc., c]}
    I18=V1(aaAb)={[A → aAb., b]}
    I19=V1(AbbBc)={[B → bBc., c]}

    Ennek megfelelően a táblázat a következő:

     abc$SAB
    0s3   12 
    1   acc   
    2 s5 r1  4
    3s8s7   6 
    4   r2   
    5 s11s10   9
    6 s12     
    7 r4 r4   
    8s8s14   13 
    9  s15    
    10   r6   
    11 s11s17   16
    12 r3 r3   
    13 s18     
    14 r4     
    15   r5   
    16  s19    
    17  r6    
    18 r3     
    19  r5    
  10. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → Aa

    • 2: S → b

    • 3: A → bdB

    • 4: A → B

    • 5: B → abB

    • 6: B → cB

    • 7: B → ab

    • 8: B → c

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .Aa, $], [S → .b, $], [A → .bdB, a], [A → .B, a], [B → .abB, a], [B → .cB, a], [B → .ab, a], [B → .c, a]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A.a, $]}
    I3=V1(b)={[S → b., $], [A → b.dB, a]}
    I4=V1(B)={[A → B., a]}
    I5=V1(a)={[B → a.bB, a], [B → a.b, a]}=V1(bda)
    I6=V1(c)={[B → c.B, a], [B → c., a], [B → .abB, a], [B → .cB, a], [B → .ab, a], [B → .c, a]}=V1(cc)=V1(bdc)=V1(abc)
    I7=V1(Aa)={[S → Aa., $]}
    I8=V1(bd)={[A → bd.B, a], [B → .abB, a], [B → .cB, a], [B → .ab, a], [B → .c, a]}
    I9=V1(ab)={[B → ab.B, a], [B → ab., a], [B → .abB, a], [B → .cB, a], [B → .ab, a], [B → .c, a]}
    I10=V1(cB)={[B → cB., a]}
    I11=V1(bdB)={[A → bdB., a]}
    I12=V1(abB)={[B → abB., a]}

    Ennek megfelelően a táblázat a következő:

     abcd$SAB
    0s5s3s6  124
    1    acc   
    2s7       
    3   s8r2   
    4r4       
    5 s9      
    6r8/s5 s6    10
    7    r1   
    8s5 s6    11
    9r7/s5 s6    12
    10r6       
    11r3       
    12r5       
  11. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → aAb

    • 2: S → bBc

    • 3: S → aBd

    • 4: S → bAd

    • 5: A → f

    • 6: B → f

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .aAb, $], [S → .bBc, $], [S → .aBd, $], [S → .bAd, $]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(a)={[S → a.Ab, $], [S → a.Bd, $], [A → .f, b], [B → .f, d]}
    I3=V1(b)={[S → b.Bc, $], [S → b.Ad, $], [B → .f, c], [A → .f, d]}
    I4=V1(aA)={[S → aA.b, $]}
    I5=V1(aB)={[S → aB.d, $]}
    I6=V1(af)={[A → f., b], [B → f., d]}
    I7=V1(bB)={[S → bB.c, $]}
    I8=V1(bA)={[S → bA.d, $]}
    I9=V1(bf)={[B → f., c], [A → f., d]}
    I10=V1(aAb)={[S → aAb., $]}
    I11=V1(aBd)={[S → aBd., $]}
    I12=V1(bBc)={[S → bBc., $]}
    I13=V1(bAd)={[S → bAd., $]}

    Ennek megfelelően a táblázat a következő:

     abcdf$SAB
    0s2s3    1  
    1     acc   
    2    s6  45
    3    s9  87
    4 s10       
    5   s11     
    6 r5 r6     
    7  s12      
    8   s13     
    9  r6r5     
    10     r1   
    11     r3   
    12     r2   
    13     r4   
  12. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → aAb

    • 2: S → aBbb

    • 3: A → aAb

    • 4: A → c

    • 5: B → aBbb

    • 6: B → d

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .aAb, $], [S → .aBbb, $]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(a)={[S → a.Ab, $], [S → a.Bbb, $], [A → .aAb, b], [A → .c, b], [B → .aBbb, b], [B → .d, b]}
    I3=V1(aA)={[S → aA.b, $]}
    I4=V1(aB)={[S → aB.bb, $]}
    I5=V1(aa)={[A → a.Ab, b], [B → a.Bbb, b]}=V1(aaa)
    I6=V1(ac)={[A → c., b]}=V1(aac)
    I7=V1(ad)={[B → d., b]}=V1(aad)
    I8=V1(aAb)={[S → aAb., $]}
    I9=V1(aBb)={[S → aBb.b, $]}
    I10=V1(aaA)={[A → aA.b, b]}
    I11=V1(aaB)={[B → aB.bb, b]}
    I12=V1(aBbb)={[S → aBbb., $]}
    I13=V1(aaAb)={[A → aAb., b]}
    I14=V1(aaBb)={[B → aBb.b, b]}
    I15=V1(aaBbb)={[B → aBbb., b]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     abcd$SAB
    0s2    1  
    1    acc   
    2s5 s6s7  34
    3 s8      
    4 s9      
    5s5 s6s7  1011
    6 r4      
    7 r6      
    8    r1   
    9 s12      
    10 s13      
    11 s14      
    12    r2   
    13 r3      
    14 s15      
    15 r5      
  13. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → AB

    • 2: S → aAb

    • 3: A → aAb

    • 4: A → b

    • 5: B → bBc

    • 6: B → c

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .AB, $], [A → .aAb, bc], [A → .b, bc]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A.B, $], [B → .bBc, $], [B → .c, $]}
    I3=V1(a)={[A → a.Ab, bc], [A → .aAb, b], [A → .b, b]}
    I4=V1(b)={[A → b., bc]}
    I5=V1(AB)={[S → AB., $]}
    I6=V1(Ab)={[B → b.Bc, $], [B → .bBc, c], [B → .c, c]}
    I7=V1(Ac)={[B → c., $]}
    I8=V1(aA)={[A → aA.b, bc]}
    I9=V1(aa)={[A → a.Ab, b], [A → .aAb, b], [A → .b, b]}=V1(aaa)
    I10=V1(ab)={[A → b., b]}=V1(aab)
    I11=V1(AbB)={[B → bB.c, $]}
    I12=V1(AbB)={[B → b.Bc, c], [B → .bBc, c], [B → .c, c]}
    I13=V1(Abc)={[B → c., c]}
    I14=V1(aAb)={[A → aAb., bc]}
    I15=V1(aaA)={[A → aA.b, b]}
    I16=V1(AbBc)={[B → bBc., $]}
    I17=V1(AbBB)={[B → bB.c, c]}
    I18=V1(aaAb)={[A → aAb., b]}
    I19=V1(AbBBc)={[B → bBc., c]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     abc$SAB
    0s3s4  12 
    1   acc   
    2 s6s7   5
    3s9s10   8 
    4 r3r3    
    5   r1   
    6 s12s13   11
    7   r5   
    8 s14     
    9s9s10   15 
    10 r3     
    11  s16    
    12 s12s13   17
    13  r5    
    14 r2r2    
    15 s18     
    16   r4   
    17  s19    
    18 r2     
    19  r4    
  14. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → Ba

    • 2: A → aa

    • 3: A → bb

    • 4: B → BB

    • 5: B → bA

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .Ba, $], [B → .BB, ab], [B → .bA, ab]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(B)={[S → B.a, $], [B → B.B, ab], [B → .BB, ab], [B → .bA, ab]}
    I3=V1(b)={[B → b.A, ab], [A → .aa, ab], [A → .bb, ab]}=V1(Bb)
    I4=V1(Ba)={[S → Ba., $]}
    I5=V1(BB)={[B → BB., ab], [B → B.B, ab], [B → .BB, ab], [B → .bA, ab]}=V1(BBB)
    I6=V1(bA)={[B → bA., ab]}
    I7=V1(ba)={[A → a.a, ab]}
    I8=V1(bb)={[A → b.b, ab]}
    I9=V1(baa)={[A → aa., ab]}
    I10=V1(bbb)={[A → bb., ab]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     ab$SAB
    0 s3 1 2
    1  acc   
    2s4s3    
    3s7s8  6 
    4  r1   
    5r4r3/r4   5
    6r5r5    
    7s9     
    8 s10    
    9r2r2    
    10r3r3    
  15. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → AB

    • 2: A → a

    • 3: A → cB

    • 4: B → c

    • 5: B → aA

    • 6: B → bB

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .AB, $], [A → .a, cab], [A → .cB, cab]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A.B, $], [B → .c, $], [B → .aA, $], [B → .bB, $]}
    I3=V1(a)={[A → a., cab]}=V1(caa)
    I4=V1(c)={[A → c.B, cab], [B → .c, cab], [B → .aA, cab], [B → .bB, cab]}=V1(cac)
    I5=V1(AB)={[S → AB., $]}
    I6=V1(Ac)={[B → c., $]}=V1(Abc)=V1(Aacc)
    I7=V1(Aa)={[B → a.A, $], [A → .a, $], [A → .cB, $]}=V1(Aba)=V1(Aaca)
    I8=V1(Ab)={[B → b.B, $], [B → .c, $], [B → .aA, $], [B → .bB, $]}=V1(Abb)=V1(Aacb)
    I9=V1(cB)={[A → cB., cab]}
    I10=V1(cc)={[B → c., cab]}=V1(cbc)
    I11=V1(ca)={[B → a.A, cab], [A → .a, cab], [A → .cB, cab]}=V1(cba)
    I12=V1(cb)={[B → b.B, cab], [B → .c, cab], [B → .aA, cab], [B → .bB, cab]}=V1(cbb)
    I13=V1(AaA)={[B → aA., $]}
    I14=V1(Aaa)={[A → a., $]}
    I15=V1(Aac)={[A → c.B, $], [B → .c, $], [B → .aA, $], [B → .bB, $]}
    I16=V1(AbB)={[B → bB., $]}
    I17=V1(caA)={[B → aA., cab]}
    I18=V1(cbB)={[B → bB., cab]}
    I19=V1(AacB)={[A → cB., $]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     abc$SAB
    0s3 s4 12 
    1   acc   
    2s7s8s6   5
    3r2r2r2    
    4s11s12s10   9
    5   r1   
    6   r4   
    7s14 s15  13 
    8s7s8s6    
    9r3r3r3    
    10r4r4r4    
    11s3 s4  17 
    12s11s12s10   18
    13   r5   
    14   r2   
    15s7s8s6   19
    16   r6   
    17r5r5r5    
    18r6r6r6    
    19   r3   
  16. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → A

    • 2: S → bB

    • 3: A → a

    • 4: A → ba

    • 5: B → AB

    • 6: B → a

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .A, $], [S → .bB, $], [A → .a, $], [A → .ba, $]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A., $]}
    I3=V1(b)={[S → b.B, $], [A → b.a, $], [B → .AB, $], [B → .a, $], [A → .a, ab], [A → .ba, ab]}
    I4=V1(a)={[A → a., $]}
    I5=V1(bB)={[S → bB., $]}
    I6=V1(ba)={[A → ba., $], [B → a., $], [A → a., ab]}
    I7=V1(bA)={[B → A.B, $], [B → .AB, $], [B → .a, $], [A → .a, ab], [A → .ba, ab]}=V1(bAA)
    I8=V1(bb)={[A → b.a, ab]}=V1(bAb)
    I9=V1(bAB)={[B → AB., $]}
    I10=V1(bAa)={[B → a., $], [A → a., ab]}
    I11=V1(bba)={[A → ba., ab]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     ab$SAB
    0s4s3 12 
    1  acc   
    2  r1   
    3s6s8  75
    4  r3   
    5  r2   
    6r3r3r4/r6   
    7s10s8  79
    8s11     
    9  r5   
    10r3r3r6   
    11r4r4    
  17. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → AA

    • 2: S → c

    • 3: A → Bc

    • 4: A → a

    • 5: B → b

    • 6: B → bb

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .AA, $], [S → .c, $], [A → .Bc, ba], [A → .a, ba], [B → .b, c], [B → .bb, c]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A.A, $], [A → .Bc, $], [A → .a, $], [B → .b, c], [B → .bb, c]}
    I3=V1(c)={[S → c., $]}
    I4=V1(B)={[A → B.c, ba]}
    I5=V1(a)={[A → a., ba]}
    I6=V1(b)={[B → b., c], [B → b.b, c]}
    I7=V1(AA)={[S → AA., $]}
    I8=V1(AB)={[A → B.c, $]}
    I9=V1(Aa)={[A → a., $]}
    I10=V1(Bc)={[A → Bc., ba]}
    I11=V1(bb)={[B → bb., c]}
    I12=V1(ABc)={[A → Bc., $]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     abc$SAB
    0s5s6s3 124
    1   acc   
    2s9s6   78
    3   r2   
    4  s10    
    5r4r4     
    6 s11r5    
    7   r1   
    8  s12    
    9   r4   
    10r3r3     
    11  r6    
    12   r3   
  18. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → ABc

    • 2: A → bA

    • 3: A → b

    • 4: B → c

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .ABc, $], [A → .bA, c], [A → .b, c]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A.Bc, $], [B → .c, c]}
    I3=V1(b)={[A → b.A, c], [A → b., c], [A → .bA, c], [A → .b, c]}=V1(bb)
    I4=V1(AB)={[S → AB.c, $]}
    I5=V1(Ac)={[B → c., c]}
    I6=V1(bA)={[A → bA., c]}
    I7=V1(ABc)={[S → ABc., $]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     bc$SAB
    0s3  12 
    1  acc   
    2 s5   4
    3s3r3  6 
    4 s7    
    5 r4    
    6 r2    
    7  r1   
  19. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → BaB

    • 2: A → a

    • 3: A → bab

    • 4: B → bB

    • 5: B → a

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .BaB, $], [B → .bB, a], [B → .a, a]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(B)={[S → B.aB, $]}
    I3=V1(b)={ [B → b.B, a], [B → .bB, a], [B → .a, a]}=V1(bb)
    I4=V1(a)={[B → a., a]}=V1(ba)
    I5=V1(Ba)={ [S → Ba.B, $], [B → .bB, $], [B → .a, $]}
    I6=V1(bB)={[B → bB., a]}
    I7=V1(BaB)={[S → BaB., $]}
    I8=V1(Bab)={[B → b.B, $], [B → .bB, $], [B → .a, $]}=V1(Babb)
    I9=V1(Baa)={[B → a., $]}=V1(Baba)
    I10=V1(BabB)={[B → bB., $]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     ab$SAB
    0s4s3 1 2
    1  acc   
    2s5     
    3s4s3   6
    4r5     
    5s9s8   7
    6r4     
    7  r1   
    8s9s8   10
    9  r5   
    10  r4   
  20. Tekintsük a kiegészített nyelvtant!

    • 0: S' → S

    • 1: S → AcB

    • 2: A → aAb

    • 3: A → ba

    • 4: B → aBb

    • 5: B → cba

    Az LR(1) elemek a következőek lesznek:

    I0=V1(λ)={[S' → .S, $], [S → .AcB, $], [A → .aAb, c], [A → .ba, c]}
    I1=V1(S)={[S' → S., $]}
    I2=V1(A)={[S → A.cB, $]}
    I3=V1(a)={[A → a.Ab, c], [A → .aAb, b], [A → .ba, b]}
    I4=V1(b)={[A → b.a, c]}
    I5=V1(Ac)={[S → Ac.B, $], [B → .aBb, $], [B → .cba, $]}
    I6=V1(aA)={[A → aA.b, c]}
    I7=V1(aa)={[A → a.Ab, b], [A → .aAb, b], [A → .ba, b]}=V1(aaa)
    I8=V1(ab)={[A → b.a, b]}=V1(aab)
    I9=V1(ba)={[A → ba., c]}
    I10=V1(AcB)={[S → AcB., $]}
    I11=V1(Aca)={[B → a.Bb, $], [B → .aBb, b], [B → .cba, b]}
    I12=V1(Acc)={[B → c.ba, $]}
    I13=V1(aAb)={[A → aAb., c]}
    I14=V1(aaA)={[A → aA.b, b]}
    I15=V1(aba)={[A → ba., b]}
    I16=V1(AcaB)={[B → aB.b, $]}
    I17=V1(Acaa)={[B → a.Bb, b], [B → .aBb, b], [B → .cba, b]}=V1(Acaaa)
    I18=V1(Acac)={[B → c.ba, b]}=V1(Acaac)
    I19=V1(Accb)={[B → cb.a, $]}
    I20=V1(aaAb)={[A → aAb., b]}
    I21=V1(AcaBb)={[B → aBb., $]}
    I22=V1(AcaaB)={[B → aB.b, b]}
    I23=V1(Acacb)={[B → cb.a, b]}
    I24=V1(Accba)={[B → cba., $]}
    I25=V1(AcaaBb)={[B → aBb., b]}
    I26=V1(Acacba)={[B → cba., b]}

    Ennek megfelelően az elemző táblázat a következő lesz:

     abc$SAB
    0s3s4  12 
    1   acc   
    2  s5    
    3s7s8   6 
    4s9      
    5s11 s12   10
    6 s13     
    7s7s8   14 
    8s15      
    9  r3    
    10   r1   
    11s17 s18   16
    12 s19     
    13  r2    
    14 s20     
    15 r3     
    16 s21     
    17s17 s18   22
    18 s23     
    19s24      
    20 r2     
    21   r4   
    22 s25     
    23s26      
    24   r5   
    25 r4     
    26 r5