<font face="Times" size="3">
*'''{{Определение: '''|definition= Для МП-автомата <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> не имеет значение. }}
</font>
