确定性下推自动机

确定性下推自动机（deterministic pushdown automaton），计算机科学技术名词，下推自动机中的一种，这种下推自动机的动作函数是单值函数，它接受的语言类严格小于非确定性下推自动机接受的语言类。