271
правка
Изменения
→Несколько определений
{{Определение
|definition=Нетерминал называется '''обнуляемым''', если из него можно прямо или косвенно получить пустую строку.
Если <tex> A \rightarrow \varepsilon </tex>, то <tex> A </tex> {{---}} обнуляемый.
{{Определение
|definition=Пара нетерминалов <tex> A </tex> и <tex> B </tex> называется '''узловой''', если <tex> A \Rightarrow^* B </tex>.
<tex> \forall A </tex> выполняется <tex> (A, A) </tex> {{---}} узловая пара.
{{Определение
|definition=Правило <tex> A \rightarrow w </tex> называется '''смешанным''', если <tex> w </tex> содержит хотя бы один терминал и хотя бы один нетерминал.
}}
