271
правка
Изменения
→Несколько определений
Если <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>.
<tex> \forall A </tex> выполняется <tex> (A, A) </tex> {{---}} узловая пара.
Если <tex> (A, B) </tex> {{---}} узловая пара, а <tex> B \rightarrow C </tex>, то <tex> (A, C) </tex> тоже узловая пара.
}}
==Преобразование грамматики в нормальную форму Хомского==
