递归可枚举语言和递归语言 - GOOGLE CODE.docVIP

递归可枚举语言和递归语言如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide），即?*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide），即?*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓.4节提到的图林机接受语言和识别语言的区别。前面讲到，对于图林机T，记号L(T)表示由导致T停机的字符串组成的语言。如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide），即?*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide），即?*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓 0.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(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide），即?*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓L，则L被称为递归可枚举语言；如果存在一个图林机识别语言L，则L被称为递归语言。停机，且如果x?L，输出1，否则输出0。如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓停机，且如果x?L，输出1，否则输出0。如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓L的图林机T，那么很容易构造接受L的图林机T’，只要将输出0的停机动作修改成进入崩溃的动作就可以了。但是，反过来的命题就比较复杂了。如果T是接受L的图林机，那么可能存在不属于L的字符串导致T崩溃，而没有输出结果。本章后面，我们将讨论无法消除这种可能的语言。现在，我们只需要记住上面的部分结论。这个结论还有如下更通用的形式。停机，且如果x?L，输出1，否则输出0。如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓停机，且如果x?L，输出1，否则输出0。如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize, decide绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓10.1 如果L被一个非确定型图林机T接受，并且T上的每一个可能的移动都导致停机或崩溃，则L是递归语言。停机，且如果x?L，输出1，否则输出0。如果L=L(T)，则称T接受L（accept）。xL: ?*?{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recogniz