递归可枚举语和递归语言.docVIP

递归可枚举语言和递归语言 递归可枚举和递归 在本章和后面一章，我们集中讨论图林机识别的语言的外部特征，并且详细研究图林机接受的语言的性质。我们首先形式化说明9.4节提到的图林机接受语言和识别语言的区别。前面讲到，对于图林机T，记号L(T)表示由导致T停机的字符串组成的语言。 定义10.1 L??*是一个语言，图林机T的输入字母表是?，如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide），即?*上的任意字符串x都能导致T停机，且如果x?L，输出1，否则输出0。 如果存在一个图林机接受语言L，则L被称为递归可枚举语言；如果存在一个图林机识别语言L，则L被称为递归语言。 显然，每个递归语言都是递归可枚举语言。如果存在一个识别语言L的图林机T，那么很容易构造接受L的图林机T’，只要将输出0的停机动作修改成进入崩溃的动作就可以了。但是，反过来的命题就比较复杂了。如果T是接受L的图林机，那么可能存在不属于L的字符串导致T崩溃，而没有输出结果。本章后面，我们将讨论无法消除这种可能的语言。现在，我们只需要记住上面的部分结论。这个结论还有如下更通用的形式。 定理10.1 如果L被一个非确定型图林机T接受，并且T上的每一个可能的移动都导致停机或崩溃，则L是递归语言。 证明：我们构造一个三带图