Изменения

{{В разработке}}

==Недетерминированный автомат с магазинной памятью==

{{Определение

|definition= Автомат с магазинной памятью --- это набор A=<tex>\langle\Sigma,\Gamma,Q,s\in Q, T \subset Q, z_0 \in \Gamma, \delta : Q \times \Sigma \cup \{\varepsilon\} \times \Gamma \rightarrow \cal P</tex><tex>(Q \times \Gamma^*)\rangle</tex>, где

*<tex>\delta</tex> --- функция переходов.

}}

==Диаграмма переходов==