Построение множества FOLLOW

Алгоритм построения множества follow заключается в следующем. Вначале символ конца входной последовательности помещается в множество follow стартового нетерминала (шаг 1). Затем выполняются шаги 2 — 4 до тех пор, пока можно еще что-либо добавить в множество follow какого-либо грамматического символа.

• 2. Если есть правило АB, то в множество follow (В) добавляем множество first () без. То есть, если есть правило, утверждающее, что за В следует, то за нетерминалом будут следовать терминалы, с которых начинается последовательность .
• 3. Если есть правило АB, то в множество follow (B) добавляется множество follow (A). Таким образом, если есть правило, утверждающее, что нетерминалом В заканчивается последовательность А, то за нетерминалом В будут следовать те же терминалы, что и за всей последовательностью А.
• 4. Если есть продукция АB и пустая последовательность принадлежит first (), то в множество follow (B) добавляется множество follow (A). Если последовательность не пуста, то за B могут следовать терминалы из, которые уже были добавлены в follow (B) на втором шаге алгоритма. Для, являющейся пустой последовательностью, можно привести рассуждения, аналогичные шагу 3.