Основан на лемме

Вход

Выход

Набор множеств FOLLOW для всех

Алгоритм

В процессе работы алгоритма понадобится алгоритм нахождения FIRST от произвольной цепочки

Но куда понятнее алгоритм описан здесь здесь