计算系统

• 抽象机
• 容许的
• 代数语言
• 自动机理论
• 自动机
• 块增长
• 忙碌的海狸
• 忙碌的海狸问题
• 丘奇论题
• 丘奇-图灵论题
• 科恩-孔定理
• 计算机代数
• 串联
• 合流性
• 合流的
• 循环标签系统
• de Bruijn 序列
• Dyck 语言
• 广义移动自动机
• 不可容许的
• 滞后系统
• Langton's Ant
• Lindenmayer 系统
• 机器
• 移动自动机
• 一种新科学
• NKS
• 非确定性图灵机
• Paterson's Worms
• 计算等价原理
• 寄存器机
• 顺序替换系统
• 字符串重写系统
• 替换系统
• 标签系统
• 图灵机
• 图灵蚁
• 通用图灵机
• 虚拟机