Itt az a trükk, hogy ha beveszem az $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}}$ szabályt, akkor az S-et ugrani kell még ugyanazon oszlopon belül, az összes olyan helyen, ahol pont mögött szerepel.


A táblázatok:

Semmi = 0	a = 1	a = 2
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;0$	$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;0$	$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;1$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;0$	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;1$	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb\;,2$
$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;\;0$	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;1$	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;2$
	$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;1$	$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb\;,2$
	$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$	$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;1$
b = 3	a = 4	b = 5
$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;1$	$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;1$	$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;1$
$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;4$	$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b\;,0$
$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;\;1$	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;4$	$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;1$
	$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;1$
	$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;4$
b = 6	a = 7	b = 8
$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;0$	$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;0$	$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;0$
$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;0$	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;7$	$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;0$
	$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;7$
	$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$
	$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;7$

A táblázatokból visszakereséssel jön a levezetési fa.