03 2024 档案

[计算理论] 1. 图灵机、递归函数与丘奇-图灵论题 Turing Machine, Recursive Function & Church-Turing thesis
摘要：目录图灵机图灵机的语法图灵机的语义图灵机的变种多带图灵机非确定性图灵机 (NTM, Nondeterministic TM)枚举器 (Enumerator)通用图灵机递归函数原始递归函数对角化证明一般递归函数一般递归函数与图灵可计算函数的等价性丘奇-图灵论题 图灵机 在研究一种自动机时，我们有两种视 阅读全文
posted @ 2024-03-13 16:40 shiys22 阅读(388) 评论(0) 推荐(2) 编辑