Изменения

<tex>\Leftarrow</tex> Исходя из МП-автомата <tex>\mathcal{P}_{TN}</tex>, допускающего язык <tex>L</tex> по пустому стеку, построим МП-автомат <tex>\mathcal{P_{NT}}</tex>, допускающий <tex>L</tex> по заключительному состоянию.