Context(X) pro prediktivní SA: Varianta II
56/57
Pro  G = (N, T, P, S),
Context(A) = First(A) È Follow(A) pro všechna A Î N
• 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)