Изменения

== Допустимость Допуск по заключительному состоянию ==

*'''Определение: '''Пусть <tex>\mathcal{P}=(\langle Q, \Sigma, \Gamma, \delta, s, Z_{0}, T)\rangle</tex> - МП-автомат. Тогда <tex>\mathcal {L(P)}</tex> языком, допускаемым автоматом <tex>\mathcal{P}</tex> по заключительному состоянию, является <tex>\mathcal {L(P)}=\{w\mid(s, w, Z_{0})\vdash^{*}(q, \varepsilon, \alpha)\} </tex> для некоторого состояния <tex>q\in T</tex> и произвольной магазинной цепочки <tex>\alpha</tex>. Начиная с стартовой вершины <tex>s</tex> и с <tex>w</tex> на входе, автомат <tex>\mathcal {P}</tex> прочитывает слово <tex>w</tex> и достигает допускающего состояния. Содержимое магазина в этот момент не имеет значения.