計算系統

• 抽象機
• 容許的
• 代數語言
• 自動機理論
• 自動機
• 塊增長
• 忙碌的海狸
• 忙碌的海狸問題
• 丘奇論題
• 丘奇-圖靈論題
• 科恩-孔定理
• 計算機代數
• 串聯
• 合流性
• 合流的
• 迴圈標籤系統
• de Bruijn 序列
• Dyck 語言
• 廣義移動自動機
• 不可容許的
• 滯後系統
• Langton's Ant
• Lindenmayer 系統
• 機器
• 移動自動機
• 一種新科學
• NKS
• 非確定性圖靈機
• Paterson's Worms
• 計算等價原理
• 暫存器機
• 順序替換系統
• 字串重寫系統
• 替換系統
• 標籤系統
• 圖靈機
• 圖靈蟻
• 通用圖靈機
• 虛擬機器