( ) , a $\epsilon$
( \ensuremath{<\cdot} \ensuremath{\dot{=}} \ensuremath{<\cdot} \ensuremath{<\cdot}  
)   \ensuremath{\cdot>} \ensuremath{\cdot>}   \ensuremath{\cdot>}
, \ensuremath{<\cdot} \ensuremath{\cdot>} \ensuremath{\cdot>} \ensuremath{<\cdot}  
a   \ensuremath{\cdot>} \ensuremath{\cdot>}   \ensuremath{\cdot>}
$\epsilon$ \ensuremath{<\cdot}     \ensuremath{<\cdot}  




Az egyszerűsített nyelvtan (ami úgy jön, hogy mindenkit S-nek hívunk):
$S\ensuremath{\rightarrow} (S), 1$,
$S\ensuremath{\rightarrow} a, 2$,
$S\ensuremath{\rightarrow} S,S, 3$

Az elemzés (az elemzés leírásakor szokásos nyitó és záró zárójeleket és az elválasztó vesszőket elhagytam, hogy ne zavarjanak). Elöl áll a veremtartalom, középen az input, hátul a kimenet.:



$\epsilon\;\;\;\;\;\;\;\;(a,(a,a))\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\;\;\;\;\;\;\;\;a,(a,a))\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} a\;\;\;\;\;\;\;\;,(a,a))\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (S\;\;\;\;\;\;\;\;,(a,a))\;\;\;\;\;\;\;\;2\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\;\;\;\;\;\;\;\;(a,a))\;\;\;\;\;\;\;\;2\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( \;\;\;\;\;\;\;\;a,a))\;\;\;\;\;\;\;\;2\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( \ensuremath{<... ...a\;\;\;\;\;\;\;\;,a))\;\;\;\;\;\;\;\;2\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( S\;\;\;\;\;\;\;\;,a))\;\;\;\;\;\;\;\;22\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( \ensuremath{<... ...,\;\;\;\;\;\;\;\;a))\;\;\;\;\;\;\;\;22\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( \ensuremath{<... ... a\;\;\;\;\;\;\;\;))\;\;\;\;\;\;\;\;22\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( \ensuremath{<... ...S\;\;\;\;\;\;\;\;))\;\;\;\;\;\;\;\;222\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( S\;\;\;\;\;\;\;\;))\;\;\;\;\;\;\;\;2223\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,\ensuremath{<\cdot} ( S\ensuremath{... ...)\;\;\;\;\;\;\;\;)\;\;\;\;\;\;\;\;2223\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (\ensuremath{<\cdot} S,S\;\;\;\;\;\;\;\;)\;\;\;\;\;\;\;\;22231\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (S\;\;\;\;\;\;\;\;)\;\;\;\;\;\;\;\;222313\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
$(\ensuremath{<\cdot} (S\ensuremath{\dot{=}} )\;\;\;\;\;\;\;\;\epsilon\;\;\;\;\;\;\;\;222313\;\;\;\;\;\;\;\;\ensuremath{\rightarrow} $
Accept (2223131).