形式语言与自动机智能信息处理.pptVIP

*§3.1.2图灵机的例子例3.5A={w#w|w∈{0，1}*}例3.4描述TMM2，它判定的语言是所有由0组成、长度为2的方幂的字符串，即A={0j|j=2n}详见书90页q1q8q2q4q6q7q3q5start#?#,R1?X,RX?X,R???,R0?0,R#?#,R#?#,RX?X,R1?X,L0?X,LX?X,RX?X,R#?#,L0?X,R=acceptstateRejectstatenotshownforsimplicity1?1,R0?0,R1?1,R0?0,L1?1,L0?0,L1?1,LX?X,L书上的例3.5,3.6,3.7比较细致，有点繁而不难，学生应仔细读一遍。*QuestionsLetL’bethecomplement（反、补）oflanguageLIsthefollowingtrue?IfLisTuring-decidable,LisTuring-recognizableIfLisTuring-recognizable,LisTuring-decidableIfLisTuring-decidable,soisL’IfLisTuring-recognizable,soisL’IfbothLandL’areTuring-recognizable,LisTuring-decidable*主要内容3.1图灵机 3.1.1图灵机形式化定义 3.1.2图灵机例子3.2图灵机的变形 3.2.1多带图灵机 3.2.2非确定型图灵机 3.2.1枚举器 3.2.1与其他模型的等价性3.3算法的定义 3.3.1希尔伯特问题 3.3.2描述图灵机的术语*control0101???L?=blanksymbolsababaa?Labab???LItislikeaTM,butwithseveraltapes§3.2图灵机的变形3.2.1多带图灵机*一个k-带图灵机M具有k个不同的带子与读/写头,是一个7-tuple(Q,?,?,?,q0,qaccept,qreject),其中Qfinitesetofstates?finiteinputalphabet(without“_”)?finitetapealphabetwith{_}????q0startstate?Qqacceptacceptstate?Qqrejectrejectstate?Q?thetransitionfunction

?:Q\{qaccept,qreject}??k?Q??k?{L,R}k转写移允许多个带子同时进行读、写和移动读写头，k:带子个数§3.2图灵机的变形3.2.1多带图灵机*最初时,输入被写在第一条带子上，所有其他的带子为空一个k-tapeTM转移函数如下： ?:Qx?k?Qx?kx{L,R,S}k?（qi,a1,a2,…,ak）=(qj,b1,b2,…,bk,L,R,…,L)机器处于qi状态，读写头1到k所读的符号a1,…,ak,机器转移到状态qj,各读写头分别写下符号b1,…,bk,并按指示移动读写头。很明显,给定一个TM,我们可以找到一个k-tapeTM识别相同的语言如何变换?§3.2图灵机的变形3.2.1多带图灵机*Multi-tapeTM=one-tapeTM证明:假设M是k-tapeTM.如何将其转换为一个单带TMS？关键是怎样用S来模拟M增加存储和数组(多带)只提速和简化，无本质改变§3.2图灵机的变形3.2.1多带图灵机定理3.8每个多带图灵机等价于某一个单带图灵机*假设M有k个带子，s把此k个带子的信息都存储在它的唯一的带子上，并以此来模拟k个带子的效果。用一个新的符号#作为定界符，以分开不同带子的