关于图灵机的三个问题分析.docxVIP

写这篇文章，是想尝试回答学习图灵机模型中遇到的三个问题： 为什么图灵机有不可判的问题？ 为什么强大的图灵机会不停机？ 为什么图灵当初要设计图灵机？ 图灵机（ Turing machine ）是英国数学家阿兰·图灵（ Alan Turing）于 1936 年设计的一种抽 象机器，用于定义和模拟计算（ computing ）。图灵机虽然构造简单，但却及其强大，它能 模拟现代计算机的所有计算行为， 堪称计算的终极机器。 然而即便是这个终极机器， 也有令 它无能为力的问题，这便是第一个要回答的问题：为什么图灵机有不可判的问题？ 首先明确什么是图灵可识别（ Turing recognizable）和图灵可判定（ Turing decidable ）。图灵 机的识别对象是语言， 图灵可识别当然不是说图灵本人能识别的语言 （照这样说汉语可能是 图灵不可识别的 ~），事实上这只是简称，全称应该是图灵机可识别语言（ Turing machine recognizable language ）和图灵机可判定语言（ Turing machine decidable language ）。 一台图灵机在读取一个串后可能进入三种状态：接受、拒绝、 循环，如果图灵机进入循环状 态，那它将永不停机。 现在假设有语言 A，如果能设计出一台图灵机 M ，对于任意字符串 ω ， 如果 ω ∈ A，那么 M