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: T₁-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.