Изменения

|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> не имеет значения.