Изменения
Нет описания правки
Полученное противоречие доказывает, что нет ДМП-автомата с допуском по допускающему состоянию, распознающего язык <tex>L</tex>. Но из того, что <tex>L</tex> — контекстно-свободный следует, что есть недетерминированный МП-автомат, распознающий его.
}}
[[Категория: Теория формальных языков]]
[[Категория: Контекстно-свободные грамматики]]