确定下推自动机维基百科,自由的 encyclopedia 在自动机理论中,确定下推自动机(英语:Deterministic pushdown automaton,缩写:DPDA)是可以使用了持有数据的栈的确定有限状态自动机。术语“下推”来自原型机械自动机物理上接触穿孔卡片来阅读其内容的下推动作。术语“确定下推自动机”当前指称识别确定上下文无关语言的抽象计算设备。 确定下推自动机是减弱版本的下推自动机。
在自动机理论中,确定下推自动机(英语:Deterministic pushdown automaton,缩写:DPDA)是可以使用了持有数据的栈的确定有限状态自动机。术语“下推”来自原型机械自动机物理上接触穿孔卡片来阅读其内容的下推动作。术语“确定下推自动机”当前指称识别确定上下文无关语言的抽象计算设备。 确定下推自动机是减弱版本的下推自动机。