第四章图灵论题.pptVIP

* 图灵机举例 M4=“对于输入的 w： 1) 在最左端的带符号的顶上做个记号。如果此带符号是空白符，则接受。如果此符号是 #，则进行下一步。否则，拒绝。 2) 向右扫描下一个 #，并在其顶上做第二个记号。如果在遇到空白符之前没有遇到 #，则带上只有 x1 ，因此接受。 3) 通过来回移动，比较做了记号的 # 的右边的两个字符串，如果它们相等，则拒绝。 4) 将两个记号中右边的那个向右移到下一个 # 上。如果在碰到空白符之前没有遇到 #，则将左边的记号向右移到下一个 # 上，并且将右边记号移到后面的 # 上。如果这时右边记号还找不到 #，则所有的字符串都已经比较过了，因而接受。 5) 转到第 3 步继续执行。” * 主要内容 3.1 丘奇—图灵论题 3.1.1 图灵机的形式化定义 3.1.2 图灵机的例子 3.2 图灵机的变形 3.2.1 多带图灵机 3.2.2 非确定型图灵机 3.2.3 枚举器 3.2.4 与其他模型的等价性 3.3 算法的定义 3.3.1 希尔伯特问题 3.3.2 描述图灵机的术语 * 图灵机的变形 从不同的方面对 TM 进行扩充。 多带 TM 允许 TM 有多于一条的输入带。此时每条带上将有一个读头。 不确定的 TM 允许 TM 在某一状态下根据读入的符号选择地进行某一个动作：进入某