$\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{.}} $
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} A$    
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} B$    
$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aAb$    
$A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} c$    
$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aBbb$    
$B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} d$    
     
T0B=T3 T0a=T4 T0c=T5
     
$S\ensuremath{\rightarrow} B\ensuremath{\mathbf{.}} $ $A\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} Ab $ $A\ensuremath{\rightarrow} c\ensuremath{\mathbf{.}} $
  $B\ensuremath{\rightarrow} a\ensuremath{\mathbf{.}} Bbb$  
  $A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aAb$  
  $A\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} c$  
  $B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} aBbb$  
  $B\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} d$  
     
T0d=T6 T4A=T7 T4B=T8
$B\ensuremath{\rightarrow} d\ensuremath{\mathbf{.}} $ $A\ensuremath{\rightarrow} aA\ensuremath{\mathbf{.}} b3$ $B\ensuremath{\rightarrow} aB\ensuremath{\mathbf{.}} bb$
     
T4a=T4 T4c=T5 T4d=T6
     
T7b=T9 T8b=T10 T10b=T11
$A\ensuremath{\rightarrow} aAb\ensuremath{\mathbf{.}} $ $B\ensuremath{\rightarrow} aBb\ensuremath{\mathbf{.}} b$ $B\ensuremath{\rightarrow} aBbb\ensuremath{\mathbf{.}} $
     
A táblázat:

  $\epsilon$ a b c d A B S
T0 S T4   T5 T6 T2 T3 T1
T1 A              
T2 1              
T3 2              
T4 S T4   T5 T6 T7 T8  
T5 4              
T6 6              
T7 S   T9          
T8 S   T10          
T9 3              
T10 S   T11          
T11 5              




És az elemzés:
$(T_0\;,\;aacbb\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_4\;,\;acbb\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_4aT_4\;,\;cbb\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_4aT_4cT_5\;,\;bb\;,\;\epsilon)\ensuremath{\rightarrow} $
$(T_0aT_4aT_4AT_7\;,\;bb\;,\;4)\ensuremath{\rightarrow} $
$(T_0aT_4aT_4AT_7bT_9\;,\;b\;,\;4)\ensuremath{\rightarrow} $
$(T_0aT_4AT_7\;,\;b\;,\;43)\ensuremath{\rightarrow} $
$(T_0aT_4AT_7bT_9\;,\;\epsilon\;,\;43)\ensuremath{\rightarrow} $
$(T_0AT_2\;,\;\epsilon\;,\;433)\ensuremath{\rightarrow} $
$(T_0ST_1\;,\;\epsilon\;,\;4331)\ensuremath{\rightarrow} $Accept.