175
правок
Изменения
→Эквивалентность языков МП-автоматов и КС-языков
|proof= Из утверждения 1 следует, что <tex> L(G) \subseteq N(P) </tex>, в свою очередь из утверждения 2 следует, что <tex> N(P) \subseteq L(G) </tex>. Отсюда <tex> L(G)=N(P) </tex>.
}}
=== Литература ===
* Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман. Введение в теорию автоматов, языков и вычислений.
