next up previous
Next: About this document ...

$\mathbf{T_0=\epsilon}$ T0S=T1 T0a=T2
     
$S'\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} S$ $S'\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} $ $S\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} Ac$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aAc$   $A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aSc$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} b$   $A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} b$
     
T0b=T3 T2A=T4 T2a=T5
     
$S\ensuremath{\rightarrow} b\ensuremath{\mathbf{.}} $ $S\ensuremath{\rightarrow} aA\ensuremath{\mathbf{.}} c $ $A\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} Sc$
    $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aAc$
    $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} b$
     
T2b=T6 T4c=T7 T5S=T8
$A\ensuremath{\rightarrow} b\ensuremath{\mathbf{.}} $ $S\ensuremath{\rightarrow} aAc\ensuremath{\mathbf{.}} $ $A\ensuremath{\rightarrow} aS\ensuremath{\mathbf{.}} c$
     
T5a=T2 T5b=T3 T8c=T9
    $A\ensuremath{\rightarrow} aSc\ensuremath{\mathbf{.}} $
     



A táblázat:

  $\epsilon$ a b c A S
T0 S T2 T3     T1
T1 A          
T2 S T5 T6   T4  
T3 2          
T4 S     T7    
T5 S T2 T3     T8
T6 4          
T7 1          
T8 S     T9    
T9 3          




És az elemzés:
$(T_0\;,\;aabcc\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_2\;,\;abcc\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_2aT_5\;,\;bcc\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_2aT_5bT_3\;,\;cc\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_2aT_5ST_8\;,\;cc\;,\;2)\ensuremath{\rightarrow} $
$(T_0aT_2aT_5ST_8cT_9\;,\;c\;,\;2)\ensuremath{\rightarrow} $
$(T_0aT_2AT_4\;,\;c\;,\;23)\ensuremath{\rightarrow} $
$(T_0aT_2AT_4cT_7\;,\;\epsilon\;,\;23)\ensuremath{\rightarrow} $
$(T_0ST_1\;,\;\epsilon\;,\;231)\ensuremath{\rightarrow} $Accept.



 
next up previous
Next: About this document ...
Csiga
1999-05-20