Next: About this document ...
(a)
A halmazok és a tábla:
 |
T0S=T1 |
T0A=T2 |
|
|
|
 |
 |
 |
 |
|
 |
 |
|
 |
 |
|
 |
 |
|
|
|
|
|
T0a=T3 |
T2b=T4 |
T2c=T5 |
|
|
|
 |
 |
 |
|
|
|
T2B=T6 |
T2a=T7 |
|
|
|
|
 |
 |
|
|
a |
b |
c |
 |
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