Next: About this document ...
(a)
A halmazok és a tábla:
![$\mathbf{T_0=\epsilon}$](img1.gif) |
T0S=T1 |
T0A=T2 |
|
|
|
![$S'\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} S,\;\epsilon$](img2.gif) |
![$S'\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} ,\;\epsilon$](img3.gif) |
![$S\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} b,\;\epsilon$](img4.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} Ab,\;\epsilon$](img5.gif) |
|
![$S\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} c,\;\epsilon$](img6.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} Ac,\;\epsilon$](img7.gif) |
|
![$A\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} B,\;b\vert c\vert a$](img8.gif) |
![$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} AB,\;b\vert c\vert a$](img9.gif) |
|
![$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} a,\;b\vert c\vert a$](img10.gif) |
![$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} a,\;b\vert c\vert a$](img11.gif) |
|
|
|
|
|
T0a=T3 |
T2b=T4 |
T2c=T5 |
|
|
|
![$A\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$](img12.gif) |
![$S\ensuremath{\rightarrow} Ab\ensuremath{\mathbf{.}} ,\;\epsilon$](img13.gif) |
![$S\ensuremath{\rightarrow} Ac\ensuremath{\mathbf{.}} ,\;\epsilon$](img14.gif) |
|
|
|
T2B=T6 |
T2a=T7 |
|
|
|
|
![$S\ensuremath{\rightarrow} AB\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$](img15.gif) |
![$B\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$](img16.gif) |
|
|
a |
b |
c |
![$\epsilon$](img17.gif) |
a |
b |
c |
A |
B |
S |
T0 |
S |
|
|
|
T3 |
|
|
T2 |
|
T1 |
T1 |
|
|
|
A |
|
|
|
|
|
|
T2 |
S |
S |
S |
|
T7 |
T4 |
T5 |
|
T6 |
|
T3 |
4 |
4 |
4 |
|
|
|
|
|
|
|
T4 |
|
|
|
1 |
|
|
|
|
|
|
T5 |
|
|
|
2 |
|
|
|
|
|
|
T6 |
3 |
3 |
3 |
|
|
|
|
|
|
|
T7 |
5 |
5 |
5 |
|
|
|
|
|
|
|
(b)
Az elemzés (elöl a veremtartalom, a veremtető a jobboldalon,
aztán az input, aztán az output):
Accept.
(c)
Ha LR(0)-t csináltunk volna, akkor is ugyanezek a halmzok lettek volna, csak
nem lett volna követő nyelv odaírva. Tehát a táblázat ugyanúgy nézett
volna ki, és mivel az LR(1) elemzőtáblában nincs olyan sor, ahol két különféle
tennivaló lenne, ezért minden állapothoz egyértelműen megfeletethető a tennivaló, anélkül, hogy
bármit néznénk előre.
(d)
És az elemzéskísérlet:
Hiba!!!!
Next: About this document ...
Judit Csima
2000-04-27