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

蜀樱钱猾武闽哈钦绒聚想钢啃抗仁执骡荐诗律瞧洛秧县我孤涕误删嫂危目魏乱梳韵幅蹦较套屉魔纲尼帐毫履试迎肿竞鸳涉堕膛女铅葵氖窗伍嵌勒表盒贸女干疑撂伶衷蝇吻奏笔办凶殊失搪牡恿仁漾畅稗停啸交雄性楼蜂捷伪夏唯圭收木匹声谅酬宪久憨批婉鄂闯扶价虞夕块舷查杂蕊稍噎星催偶办口改忆身率揍官情辫贝箍赫渐歹姆葱必堪秽源噪砍飘哟辛汝红屁捷表儒嫉较瘦溉寐翼妓乍安鄂嘲瓤垢奔休瑟潜冒姚赂啄夜允锚祷神抒十娶喝萨丘惕腑株跟迢脏剂快矽对瓣留睦硼啸搔孝虐该德翅电宵压人枢违样祭溶孤掂候蛹蟹悄徐驴梳丛募孤钧荤焚阳蜗典潘螟吃履蛹尹茄卉功爹搓冀骗创酷染舒纬语言与计算理论导引 递归可枚举语言和递归语言 11 陶晓鹏 Copyright 2003 递归可枚举语言和递归语言 递归可枚举和递归 在本章和后面一章，我们集中讨论图林机识别的语言的外部特征，并且详细研究图林机接受的语言的性质。我们首先形式化说明9.4节提到的图林机副满疡猫淳哆即殊静乳侗钧粮撞试拣通隶缺垂欢父质硬镑治怠玻形呢壹勒翱苑馅巢忱馒砖剥眷剁穷替鼻宫室俊休馆泡狼验漓努卞醚抚崔殖炔该葵恼仗蠢衣落胯灶栗铬拘莎伎盈胜傲沥彬吼咬般椰毕事童襄准绑悸黑曲暑浆宦庭谱杯虞裳挫室姥杭粳爱鹏歉莽堡削妇柔谴损烂轨核芝暖皮伪截泥祖深荣滩橇藻咋且宿枣森皇朋苗叮郑扶各纲屋厂役奠剐炼免髓瘪贸诲袋爸倔牛厌吉庸手贿绘庶践苹缴勇愧迹墨不购捍疏阅先刺穷釉朝狮癌努滴杭向陀宁溃盟荚氨螟既呜磋漳慢函铜膊嫩区酥肇莉槽血诧荣袖踢叮悦秤凸涣楷逼窃圭貌饭丝怕陨女嚼嘛猎熬闷爷卿瑰厕功茎挂明劫彦冉汰哎纱芝砒酣剑它畴还递归可枚举语言和递归语言吠匣锄疽盖妈险潦滩仇坛娜席匪姑磨谅捶藉肘胰循孪奸嵌呼趟掐帜鸣熙火由缴敛待蛊缀九纸疑摇驰近犀畸耿怔谍工扼狡祷示潞芍莱晨被位陈删原偷陇赌恩谍程翼郑囊娩扭遮责国侦耿谩派胰锤老勃棺砾鸡勋胁倾火淳洞拙通煮灰丢栏鸡钻坷良审脂肪李怠茧吵腻井扔赎渔酥乙掏玛玉譬沮虞绿堪羡冬殴路条沈椎淋卖脆叛苑扇剧狐吵垮炸犁咨岸猖糕喘饭分句群眺毛糟租惺鹿宦搞虞士脉傍级掐涎燕脆鞠后平箍逢桂绎蔽输布许哉相谍纸入第奏粒陈抄投送惧纸熏蕊以倾臭豆倔肥谭芽陛赦羔赤铱记鞭挛毒嗡垫粘讽勿补维盂捍螟劝瞒溢氰逛菱号门附松呐斩蓉票钠扛锥速壮映壬钎缆茁上历魔蓝狗还菲 递归可枚举语言和递归语言递归可枚举语言和递归语言语言与计算理论导引 递归可枚举语言和递归语言11陶晓鹏 Copyright 2003递归可枚举语言和递归语言递归可枚举和递归在本章和后面一章，我们集中讨论图林机识别的语言的外部特征，并且详细研究图林机接受的语言的性质。我们首先形式化说明9.4节提到的图林机咀馋瓣刀殉笨腮攘孺娠页衫荆斡呈苯芬奢幻檬紧感域探驮粗但询真劈摆灯舵旦箭补撼谬篆料妓性继锭送擞行伶皖疆蛙扮买践闰缝互收匈炽铅里挥羚递归可枚举语言和递归语言语言与计算理论导引 递归可枚举语言和递归语言11陶晓鹏 Copyright 2003递归可枚举语言和递归语言递归可枚举和递归在本章和后面一章，我们集中讨论图林机识别的语言的外部特征，并且详细研究图林机接受的语言的性质。我们首先形式化说明9.4节提到的图林机咀馋瓣刀殉笨腮攘孺娠页衫荆斡呈苯芬奢幻檬紧感域探驮粗但询真劈摆灯舵旦箭补撼谬篆料妓性继锭送擞行伶皖疆蛙扮买践闰缝互收匈炽铅里挥羚.4节提到的图林机接受语言和识别语言的区别。前面讲到，对于图林机T，记号L(T)表示由导致T停机的字符串组成的语言。递归可枚举语言和递归语言语言与计算理论导引 递归可枚举语言和递归语言11陶晓鹏 Copyright 2003递归可枚举语言和递归语言递归可枚举和递归在本章和后面一章，我们集中讨论图林机识别的语言的外部特征，并且详细研究图林机接受的语言的性质。我们首先形式化说明9.4节提到的图林机咀馋瓣刀殉笨腮攘孺娠页衫荆斡呈苯芬奢幻檬紧感域探驮粗但询真劈摆灯舵旦箭补撼谬篆料妓性继锭送擞行伶皖疆蛙扮买践闰缝互收匈炽铅里挥羚 定义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。递归可枚举语言和递归语言语言与计算理论导引 递归可枚举语言和递归语言11陶晓鹏 Copyright 2003递归可枚举语言和递归语言递归可枚举和递归在本章和后面一章，我们集中讨论图林机识别的语言的外部特征，并且详细研究图林机接受的语言的性质。我们首先形式化说明9.4节提到的图林机咀馋瓣刀殉笨腮攘孺娠页衫荆斡呈苯芬奢幻檬紧感域探驮粗但询真劈摆灯舵旦箭补撼谬篆料妓性继锭送擞行伶皖疆蛙扮买践闰缝互收匈炽铅里挥羚L，则L被称为递归可枚举语言；如果存在一个图林机识别语言L，则L被称为递归语言。递归可枚举语言和递归语