Изменения

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