Изменения

|definition=Вершина Нетерминал называется обнуляемойобнуляемым, если из нее него можно прямо или косвенно получить пустую строку. Если <tex> A \rightarrow \varepsilon </tex>, то <tex> A </tex> {{---}} обнуляемаяобнуляемый.

Если <tex> A \rightarrow B_1....B_n </tex>, где все <tex> B_i </tex> обнуляемые, то <tex> A </tex> тоже обнуляемаяобнуляемый.

|definition=Пара вершин нетерминалов <tex> A </tex> и <tex> B </tex> называется узловой, если <tex> A \Rightarrow^* B </tex>.