Изменения

*Также заметим, что <tex> \alpha_n = \epsilon</tex>. Таким образом <tex> (q,w,S)\vdash^*(q,\epsilon,\epsilon) </tex>, т.е допускает <tex> P </tex> по пустому стеку.

{{Утверждение

|statement= Если МП-автомат <tex> P </tex> построен по грамматике <tex> G </tex> с использованием указанной выше конструкции, то <tex> N(P) \geq L(G) </tex>

|proof= Очевидно из того, что мы доказали корректность построения.

}}