Изменения

# Построить граф <tex>Gr = (\langle V = N, E = \mathcal {f} (A, B) | A \rightarrow \alpha B \beta \mathcal {g})\rangle</tex>, где <tex>\alpha, \beta</tex> состоят из нетерминалов.# Пометить все нетерминалы, из которых непосредственно можно вывести <tex>\mathcal {f} \varepsilon \mathcal {g}</tex>, как <tex>\varepsilon</tex>-порождающие.# Обходим граф <tex>Gr</tex> в глубину. Если для нетерминала <tex>A</tex> верно, что все его соседи <tex>\varepsilon</tex>-порождающие нетерминалы, то пометить нетерминал <tex>A</tex>, как <tex>\varepsilon</tex>-порождающий.