|
![$\mathbf{T_0=\epsilon}$](img1.gif) |
T0S=T1 |
T0A=T2 |
|
|
|
![$S'\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} S$](img2.gif) |
![$S'\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} $](img3.gif) |
![$S\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} $](img4.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} A$](img5.gif) |
|
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} B$](img6.gif) |
|
|
![$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aAb$](img7.gif) |
|
|
![$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} c$](img8.gif) |
|
|
![$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aBbb$](img9.gif) |
|
|
![$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} d$](img10.gif) |
|
|
|
|
|
T0B=T3 |
T0a=T4 |
T0c=T5 |
|
|
|
![$S\ensuremath{\rightarrow} B\ensuremath{\mathbf{.}} $](img11.gif) |
![$A\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} Ab $](img12.gif) |
![$A\ensuremath{\rightarrow} c\ensuremath{\mathbf{.}} $](img13.gif) |
|
![$B\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} Bbb$](img14.gif) |
|
|
![$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aAb$](img7.gif) |
|
|
![$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} c$](img8.gif) |
|
|
![$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aBbb$](img9.gif) |
|
|
![$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} d$](img10.gif) |
|
|
|
|
T0d=T6 |
T4A=T7 |
T4B=T8 |
![$B\ensuremath{\rightarrow} d\ensuremath{\mathbf{.}} $](img15.gif) |
![$A\ensuremath{\rightarrow} aA\ensuremath{\mathbf{.}} b3$](img16.gif) |
![$B\ensuremath{\rightarrow} aB\ensuremath{\mathbf{.}} bb$](img17.gif) |
|
|
|
T4a=T4 |
T4c=T5 |
T4d=T6 |
|
|
|
T7b=T9 |
T8b=T10 |
T10b=T11 |
![$A\ensuremath{\rightarrow} aAb\ensuremath{\mathbf{.}} $](img18.gif) |
![$B\ensuremath{\rightarrow} aBb\ensuremath{\mathbf{.}} b$](img19.gif) |
![$B\ensuremath{\rightarrow} aBbb\ensuremath{\mathbf{.}} $](img20.gif) |
|
|
|
A táblázat:
|
![$\epsilon$](img21.gif) |
a |
b |
c |
d |
A |
B |
S |
T0 |
S |
T4 |
|
T5 |
T6 |
T2 |
T3 |
T1 |
T1 |
A |
|
|
|
|
|
|
|
T2 |
1 |
|
|
|
|
|
|
|
T3 |
2 |
|
|
|
|
|
|
|
T4 |
S |
T4 |
|
T5 |
T6 |
T7 |
T8 |
|
T5 |
4 |
|
|
|
|
|
|
|
T6 |
6 |
|
|
|
|
|
|
|
T7 |
S |
|
T9 |
|
|
|
|
|
T8 |
S |
|
T10 |
|
|
|
|
|
T9 |
3 |
|
|
|
|
|
|
|
T10 |
S |
|
T11 |
|
|
|
|
|
T11 |
5 |
|
|
|
|
|
|
|
És az elemzés:
Accept.
|