链接至“图灵机”的页面
←图灵机
以下页面链接至图灵机：
显示50项。
- 数学 （←链接）
- 算法 （←链接）
- 形式语言 （←链接）
- 形式文法 （←链接）
- 正则语言 （←链接）
- 下推自动机 （←链接）
- 人工神经网络 （←链接）
- 集合论 （←链接）
- 多带图灵机 （←链接）
- 非确定型图灵机 （←链接）
- 枚举器 （←链接）
- 递归语言 （←链接）
- 千禧年大獎難題 （←链接）
- 計算複雜性理論 （←链接）
- 空间复杂度 （←链接）
- Λ演算 （←链接）
- 递归可枚举语言 （←链接）
- 递归函数 （←链接）
- 可计算函数 （←链接）
- 可计算性理论 （←链接）
- 递归论 （←链接）
- 递归可枚举集合 （←链接）
- 原始递归函数 （←链接）
- 判定器 （←链接）
- 组合子逻辑 （←链接）
- 可判定性 （←链接）
- 停机问题 （←链接）
- NP完全 （←链接）
- P (複雜度) （←链接）
- 複雜度類 （←链接）
- 多項式時間 （←链接）
- 歸約 （←链接）
- Μ算子 （←链接）
- 柯氏复杂性 （←链接）
- 不可解度 （←链接）
- 无限制文法 （←链接）
- 确定有限状态自动机 （←链接）
- 自動機理論 （←链接）
- 交互式证明系统 （←链接）
- BPP (複雜度) （←链接）
- 交替式图灵机 （←链接）
- PSPACE （←链接）
- 萨维奇定理 （←链接）
- 預言機 （←链接）
- 轉換函數 （←链接）
- R (複雜度) （←链接）
- EXPTIME （←链接）
- DTIME （←链接）
- SC (複雜度) （←链接）
- PH (複雜度) （←链接）