next up previous
Next: About this document ...

(a)

A halmazok és a tábla:
$\mathbf{T_0=\epsilon}$ T0S=T1 T0A=T2
     
$S'\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} S,\;\epsilon$ $S'\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} ,\;\epsilon$ $S\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} b,\;\epsilon$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} Ab,\;\epsilon$   $S\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} c,\;\epsilon$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} Ac,\;\epsilon$   $A\ensuremath{\rightarrow} A\ensuremath{\mathbf{.}} B,\;b\vert c\vert a$
$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} AB,\;b\vert c\vert a$   $B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} a,\;b\vert c\vert a$
$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} a,\;b\vert c\vert a$    
     
T0a=T3 T2b=T4 T2c=T5
     
$A\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$ $S\ensuremath{\rightarrow} Ab\ensuremath{\mathbf{.}} ,\;\epsilon$ $S\ensuremath{\rightarrow} Ac\ensuremath{\mathbf{.}} ,\;\epsilon$
     
T2B=T6 T2a=T7  
     
$S\ensuremath{\rightarrow} AB\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$ $B\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} ,\;b\vert c\vert a$  



  a b c $\epsilon$ 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):
$(T_0\;,\;aaab\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_3\;,\;aab\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0AT_2\;,\;aab\;,\;4)\ensuremath{\rightarrow} $
$(T_0AT_2aT_7\;,\;ab\;,\;4)\ensuremath{\rightarrow} $
$(T_0AT_2BT_6\;,\;ab\;,\;45)\ensuremath{\rightarrow} $
$(T_0AT_2\;,\;ab\;,\;453)\ensuremath{\rightarrow} $
$(T_0AT_2aT_7\;,\;b\;,\;453)\ensuremath{\rightarrow} $
$(T_0AT_2BT_6\;,\;b\;,\;4535)\ensuremath{\rightarrow} $
$(T_0AT_2\;,\;b\;,\;45353)\ensuremath{\rightarrow} $
$(T_0AT_2bT_4\;,\;\epsilon\;,\;45353)\ensuremath{\rightarrow} $
$(T_0ST_1\;,\;\epsilon\;,\;453531)\ensuremath{\rightarrow} $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:
$(T_0\;,\;acb\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_3\;,\;cb\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0AT_2\;,\;cb\;,\;4)\ensuremath{\rightarrow} $
$(T_0AT_2cT_5\;,\;b\;,\;4)\ensuremath{\rightarrow} $Hiba!!!!



 
next up previous
Next: About this document ...
Judit Csima
2000-04-27