Изменения
→Поиск ε-порождающих нетерминалов
''Схема алгоритма:''
# Пусть <tex>N_{\varepsilon}</tex> — множество <tex>\varepsilon</tex>-порождающих нетерминалов. Добавить все нетерминалы, из которых непосредственно можно вывести <tex>\mathcal {f} \varepsilon \mathcal {g}</tex>, в множество <tex>N_{\varepsilon}</tex>.
# Если для правила найдено правило <tex>A \rightarrow C_1C_2...C_k</tex> , для которого верно, что каждый <tex>C_i</tex> — <tex>\varepsilon</tex>-порождающий нетерминал, то добавить <tex>A</tex> в множество <tex>N_{\varepsilon}</tex>.
# Если на шаге 2 множество <tex>N_{\varepsilon}</tex> изменилось, то повторить шаг 2.
