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