|
![$\mathbf{T_0=\epsilon}$](img1.gif) |
T0S=T1 |
T1a=T2 |
|
|
|
![$S'\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} S,\;\epsilon$](img2.gif) |
![$S'\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} ,\;\epsilon$](img3.gif) |
![$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;\epsilon\vert a$](img4.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;\epsilon\vert a$](img5.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;\epsilon\vert a$](img6.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;
b\vert a$](img7.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;\epsilon\vert a$](img8.gif) |
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;a\vert b$](img9.gif) |
|
|
|
T2S=T3 |
T3a=T4 |
T3b=T5 |
|
|
|
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;\epsilon\vert a$](img10.gif) |
![$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;b\vert a$](img11.gif) |
![$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;\epsilon\vert a$](img12.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;b\vert a$](img13.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;
b\vert a$](img7.gif) |
|
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;b\vert a$](img14.gif) |
|
|
|
|
T4S=T6 |
T6b=T7 |
T6a=T4 |
|
|
|
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;b\vert a$](img15.gif) |
![$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;b\vert a$](img16.gif) |
|
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;b\vert a$](img13.gif) |
|
|
Ha LR(0)-val próbálkoztunk volna, akkor láttuk volna, hogy nem jön ki, például
már T1-ben is ellentmondás van.
A táblázat:
|
a |
b |
![$\epsilon$](img17.gif) |
S |
a |
b |
T0 |
2 |
|
2 |
T1 |
|
|
T1 |
S |
|
A |
|
T2 |
|
T2 |
2 |
2 |
|
T3 |
|
|
T3 |
S |
S |
|
|
T4 |
T5 |
T4 |
2 |
2 |
|
T6 |
|
|
T5 |
1 |
|
1 |
|
|
|
T6 |
S |
S |
|
|
T4 |
T7 |
T7 |
1 |
1 |
|
|
|
|
És egy elemzés:
Accept.
|