Изменения

# Пометить Пусть <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.