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