175
правок
Изменения
→Корректность построения
|about=1
|statement= Если МП-автомат <tex> P </tex> построен по грамматике <tex> G </tex>, с использованием указанной выше конструкции, то <tex> L(G) \subseteq N(P) </tex>
|proof= Выше доказана корректность построения МП-автомата по любой КС-грамматике. Значит множество языков КС-грамматик является подмножеством языков , допускаемых МП-автоматами.
}}
