Изменения
→Детерминированный автомат с магазинной памятью
|definition=
Если для автомата с магазинной памятью выполняются следующие условия:
#<tex>\mathcal8 q \in Q, \mathcal8 c \in \Sigma\cup \{ \varepsilon \}, \mathcal8 \chi \in \Gamma \Rightarrow \left | \delta(q, c, \chi)\right | \le 1</tex>;
#<tex>\delta(q,\varepsilon,\chi) \ne 0 \Rightarrow \mathcal8 c \in \Sigma : \delta(q, c, \chi) = \varnothing</tex>,
то поведение автомата всегда определено однозначно и он называется детерминированным автоматом с магазинной памятью.
