北言栾生的博客

文章目录：图灵机1. 形式化定义1. 瞬时描述2. 停机2. 构造3. 双栈自动机 (Two Stack Machine)4. 图灵机编码1. 字符串排序枚举2. 编码5. TM接受的语言1. 递归可枚举语言2. 非递归可枚举语言3. 递归语言4. 通用语言5. 语言的范畴6. 乔姆斯基文法1. 形式化定义图灵机(Turing Machine)：TM是一个七元组P=(Q, Σ, Γ, δ, q0,B, F)P=(Q,\,\Sigma,\,\Gamma,\,\delta,\,q_0,B,\,F)P=(Q,