Изменения

== Допустимость Допуск по пустому магазину ==

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