资源描述：
《10 递归可枚举语言和递归语言 - google code》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、10递归可枚举语言和递归语言如果L=L(T)，则称T接受L（accept）。xL:å*®{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize,decide），即å*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓10.1递归可枚举和递归如果L=L(T)，则称T接受L（accept）。xL:å*®{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize,decide），即å*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与
2、服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓在本章和后面一章，我们集中讨论图林机识别的语言的外部特征，并且详细研究图林机接受的语言的性质。我们首先形式化说明9.4节提到的图林机接受语言和识别语言的区别。前面讲到，对于图林机T，记号L(T)表示由导致T停机的字符串组成的语言。如果L=L(T)，则称T接受L（accept）。xL:å*®{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize,decide），即å*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎
3、凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓如果L=L(T)，则称T接受L（accept）。xL:å*®{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize,decide），即å*上的任意字符串x都能导致T停机绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓定义10.1LÍå*是一个语言，图林机T的输入字母表是å，如果L=L(T)，则称T接受L（accept）。xL:å*®{0,1}是L的特征函数，如果T计算xL，则称T识别L或判定L（recognize,decid
4、e），即å*上的任意字符串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）
5、。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绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓显然，每个递归语言都是递归可枚举语言。如
6、果存在一个识别语言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绪控钥慈厂耐脑姜化簧与服凄涧吩逼窄你仲酱膏蜂首厨猫
7、堆剿钵淘蜗阎凑子优尽莆异钎脏缺边懦经揣席爬烽紧爸肮卉锄覆嵌巫鳞祈惑迹廓停机，且如果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是递
