• Metoda:
• Nechť A je vrchol zásobníku & žádné
pravidlo nelze použít:
• repeat
a := GetNextToken;
{Tyto tokeny jsou přeskočeny}
until a v množině Context(A)
• if a Î First(A) then
ponech symbol A na zásobníku
else odstraň A ze zásobníku; //
a Î Follow(A)