Основан на лемме
Вход
- Контекстно-свободная грамматика
- Множества FIRST для всех элементов из (можно найти, воспользовавшись алгоритмом)
Выход
Набор множеств FOLLOW для всех
Алгоритм

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