Изменения

*<tex>\Gamma</tex> --- стековый алфавит;

*<tex>Q</tex> --- множество состояний автомата;

*<tex>T</tex> --- множество допускающих состояний автомата;

*<tex>z_0</tex> --- маркер дна стека;

Изменим автомат для языка <tex>0^n1^n</tex> из приведенного выше [[Автоматы с магазинной памятью#Пример недетерминированного МП-автомата|примера]] так, чтобы он стал детерминированным:

[[Изображение:DetPDAexample.png|thumb|200px|left|Рис. 6. Детерминированный автомат с магазинной памятью для языка <tex>0^n1^n</tex>]]