计算机数学基础第七章.pptVIP

计算机科学的数学基础 第七章图灵机 图灵机的基本模型 图灵机的基本模型： 图灵机的数学模型 一个图灵机M = (Q, ?, Γ, δ, q0, B, F)，其中： Q是状态的有穷集； Γ是所允许的带符号的有穷集； B是Γ中的一个符号，表示空白； ?是输入符号集，即不包含B的Γ的子集； 转换函数δ：Q×Γ ? Q×Γ×{L, R} ； q0是开始状态， q0在Q中； F?Q是终止状态集。 瞬时描述 用?1q?2表示图灵机M的一个瞬时描述。这里q ? Q，即M的当前状态；?1?2 ? Γ*，即带上直至最右的非空白符号的内容，?1位于磁头左边，?2位于磁头右边（注意空白符号B可以出现在?1?2中）。 为了避免混淆假定Q和Γ是不相交的。 最后，带磁头被认为正在扫描?2的最左字符，或当?2＝ε时，磁头正扫描空白符号。 瞬时描述——TM动作的描述 设ID = X1…Xi－1qXi…Xn为一个瞬时描述。 图灵机所接受的语言 M所接受的语言，表示为L(M)，是?*中的那些字的集合：M从初始状态q0开始阅读这个字，这个字使得M进入终止状态。形式上， L(M) = {w | w??*且?p?Q：q0w ├* ?1p?2}。 可计算语言和函数 被图灵机所接受的语言称为递归可枚举集(r.e.s)。这种语言的字可以用一个图灵机枚举，因此称为“可枚举的”。 递归可枚举集合类的一个真子类，称为递