徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

确定下推自动机

指数 确定下推自动机

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

6 关系: 堆栈下推自动机确定上下文无关文法确定有限状态自动机自动机打孔卡

堆栈

--(stack)又稱為棧或--,是计算机科學中一種特殊的串列形式的抽象資料型別,其特殊之處在於只能允許在連結串列或陣列的一端(稱為堆疊頂端指標,top)進行加入数据(push)和輸出数据(pop)的運算。另外--也可以用一維数组或連結串列的形式來完成。堆疊的另外一個相對的操作方式稱為佇列。 由於堆疊資料結構只允許在一端進行操作,因而按照後進先出(LIFO, Last In First Out)的原理運作。.

新!!: 确定下推自动机和堆栈 · 查看更多 »

下推自动机

在自动机理论中,下推自动机(Pushdown automaton)是使用了包含数据的栈的有限自动机。.

新!!: 确定下推自动机和下推自动机 · 查看更多 »

确定上下文无关文法

在形式文法理论中,确定上下文无关文法(DCFG)是上下文无关文法的真子集。确定上下文无关文法是确定下推自动机可识别的文法。确定上下文无关语言是确定上下文无关文法所定义的形式语言。 它们在计算机科学领域中特别重要,因为这些文法可以有效的识别,而非确定上下文无关文法需要回溯或其他复杂的技术;非确定步骤的每次出现,栈都必须被复制并接着被传播(propagate),消耗运行时间、内存或两者。在实践中,当你希望为非确定文法(比如用 YACC)建立一个解析器的时候,你必须通过增加约束如优先级来改变分析器为确定的。 确定上下文无关语言是拥有无歧义上下文无关文法的语言的集合的真子集。例如,无歧义文法 S → 0S0 | 1S1 | ε,它定义了在字母 0 和 1 上的偶数长度的回文的语言,它能用确定下推自动机解析。.

新!!: 确定下推自动机和确定上下文无关文法 · 查看更多 »

确定有限状态自动机

在计算理论中,确定有限状态自动机或确定有限自动机(deterministic finite automation, DFA)是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表\Sigma的字符,它都能根据事先给定的转移函数转移到下一个状态(这个状态可以是先前那个状态)。.

新!!: 确定下推自动机和确定有限状态自动机 · 查看更多 »

自动机

#重定向 自動機.

新!!: 确定下推自动机和自动机 · 查看更多 »

打孔卡

打孔卡又稱穿孔卡、霍列瑞斯式卡(Herman Hollerith)或IBM卡,是一塊紙板,在預先知道的位置利用打洞與不打洞來表示數位訊息。現在幾乎是一個過時的存储器,但其設計轉變成現今常用於考試及彩券投注等用途的光學劃記符號辨識卡片。.

新!!: 确定下推自动机和打孔卡 · 查看更多 »

重定向到这里:

確定下推自動機

传出传入
嘿!我们在Facebook上吧! »