На рис. 5 приведен пример недетерминированного автомата с магазинной памятью для языка <tex>0^n1^n</tex>.
[[Изображение:PDAexample.png|200px|thumb|left|Рис. 5. Недетерминированный МП-автомат для языка <tex>0^n1^n</tex>.]]<br style="clear:both" />
==Детерминированный автомат с магазинной памятью==
{{Определение
|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>,
то поведение автомата всегда определено однозначно, и он называется '''детерминированным автоматом с магазинной памятью'''.
}}
Изменим автомат для языка <tex>0^n1^n</tex> из приведенного выше [[Автоматы с магазинной памятью#Пример недетерминированного МП-автомата|примера]] так, чтобы он стал детерминированным:
[[Изображение:DetPDAexample.png|thumb|200px|left|Рис. 6. Детерминированный автомат с магазинной памятью для языка <tex>0^n1^n</tex>.]]<br style="clear:both" />
==Источники==
*Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вычислений, 2-е изд.. : Пер. с англ. — М. : Издательский дом "Вильямс", 2002.
