A nyelvtan: $S\ensuremath{\rightarrow} SaSaSb\vert\epsilon$

$\mathbf{T_0=\epsilon}$ T0S=T1 T1a=T2
     
$S'\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} S,\;\epsilon$ $S'\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} ,\;\epsilon$ $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} SaSb,\;\epsilon\vert a$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSaSb,\;\epsilon\vert a$ $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSaSb,\;\epsilon\vert a$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSaSb\;, \;a$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;\epsilon\vert a$   $A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;a$
     
T2S=T3 T3a=T4 T4S=T5
     
$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} aSb ,\;\epsilon\vert a$ $S\ensuremath{\rightarrow} SaSa\ensuremath{\mathbf{.}} Sb ,\;\epsilon\vert a$ $S\ensuremath{\rightarrow} SaSaS\ensuremath{\mathbf{.}} b,\;\epsilon\vert a$
$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSaSb ,\;a$ $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} SaSb ,\;a$ $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} aSb,\;a$
  $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSaSb ,\;a\vert b$ $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSaSb,\;a\vert b$
  $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} , a\vert b$  
     
T5b=T6 T5a=T7 T7S=T8
$S\ensuremath{\rightarrow} SaSaSb\ensuremath{\mathbf{.}} ,\;\epsilon\vert a$ $S\ensuremath{\rightarrow} SaSa\ensuremath{\mathbf{.}} Sb ,\;a$ $S\ensuremath{\rightarrow} SaSaS\ensuremath{\mathbf{.}} b,\;a$
  $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} SaSb ,\;a\vert b$ $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} aSb,\;a\vert b$
  $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSaSb ,\;a\vert b$ $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSaSb,\;a\vert b$
  $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} , a\vert b$  
     
T8b=T9 T8a=T10 T10S=T11
$S\ensuremath{\rightarrow} SaSaSb\ensuremath{\mathbf{.}} ,\;a$ $S\ensuremath{\rightarrow} SaSa\ensuremath{\mathbf{.}} Sb ,\;a\vert b$ $S\ensuremath{\rightarrow} SaSaS\ensuremath{\mathbf{.}} b,\;a\vert b$
  $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} SaSb ,\;a\vert b$ $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} aSb,\;a\vert b$
  $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSaSb ,\;a\vert b$ $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSaSb,\;a\vert b$
  $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} , a\vert b$  
     
T11b=T12 T11a=T10  
$S\ensuremath{\rightarrow} SaSaSb\ensuremath{\mathbf{.}} ,\;a\vert b$    
     

Megjegyzés: T1-nél látni, hogy LR(0)-val ütközés lenne.

Nézzük a táblát:



  a b $\epsilon$ a b S
T0 2   2     T1
T1 S   A T2    
T2 2         T3
T3 S     T4    
T4 2 2       T5
T5 S S   T7 T6  
T6 1   1      
T7 2 2       T8
T8 S S   T10 T9  
T9 1          
T10 2 2       T11
T11 S S   T10 T12  
T12 1 1        




És egy elemzés:
$(T_0\;,\;aaaaababb\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0ST_1\;,\;aaaaababb\;,\;2)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2\;,\;aaaababb\;,\;2)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3\;,\;aaaababb\;,\;22)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4\;,\;aaababb\;,\;22)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5\;,\;aaababb\;,\;222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7\;,\;aababb\;,\;222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8\;,\;aababb\;,\;2222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}\;,\;ababb\;,\;2222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}ST_{11}\;,\;ababb\;,\;22222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}ST_{11}aT_{10}\;,\;babb\;,\;22222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}ST_{11}aT_{10}ST_{11}\;,\;babb\;,\;222222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}ST_{11}aT_{10}ST_{11}bT_{12}\;,\;abb\;,\;222222)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8\;,\;abb\;,\;2222221)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}\;,\;bb\;,\;2222221)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}ST_{11}\;,\;bb\;,\;22222212)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5aT_7ST_8aT_{10}ST_{11}bT_{12}\;,\;b\;,\;22222212)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5\;,\;b\;,\;222222121)\ensuremath{\rightarrow} $
$(T_0ST_1aT_2ST_3aT_4ST_5bT_6\;,\;\epsilon\;,\;222222121)\ensuremath{\rightarrow} $
$(T_0ST_1\;,\;\epsilon\;,\;2222221211)\ensuremath{\rightarrow} $Accept.