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

$Q,\Sigma ,\Delta$ конечные

$F\subseteq Q$

Работа автомата

---

Связанные определения/теоремы/следствия/утверждения:

• Частичная функция