计算系统

• 抽象机器
• 可接受的
• 代数语言
• 蚂蚁
• 自动机理论
• 自动装置
• 区块增长
• 忙碌的海狸
• 繁忙的海狸问题
• 教会论文
• 邱奇-图灵论题
• Cohen-Kung定理
• 计算代数
• 计算机代数
• 串联
• 汇流
• 合流
• 循环标签系统
• de Bruijn序列
• 戴克语言
• 广义移动自动机
• 不可接受
• 滞后系统
• 兰顿蚂蚁
• 林登迈耶系统
• 机器
• 移动自动化
• 新型科学
• NKS公司
• 非确定性图灵机
• 甲骨文公司
• 帕特森蠕虫
• 计算等效原理
• 注册计算机
• 顺序替换系统
• 字符串重写系统
• 替代系统
• 符号计算
• 标签系统
• 图灵机器
• Turmite公司
• 通用图灵机
• 虚拟机