Изменения
→Недетерминированный автомат с магазинной памятью
==Недетерминированный автомат с магазинной памятью==
{{Определение
|definition= '''Автомат с магазинной памятью''' (автомат со стеком, англ. ''pushdown automaton'') {{---}} это набор <tex>A=\langle\Sigma,\Gamma,Q,s\in Q, T \subset Q, z_0 \in \Gamma, \delta : Q \times \Sigma \cup \{\varepsilon\} \times \Gamma \rightarrow 2^{Q \times \Gamma^*}\rangle</tex>, где
*<tex>\Sigma</tex> {{---}} входной алфавит на ленте,
*<tex>\Gamma</tex> {{---}} стековый алфавит,
