目录
堆栈
--（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卡，是一塊紙板，在預先知道的位置利用打洞與不打洞來表示數位訊息。現在幾乎是一個過時的存储器，但其設計轉變成現今常用於考試及彩券投注等用途的光學劃記符號辨識卡片。.
查看 确定下推自动机和打孔卡