计算机数学基础第八九章.pptVIP

CFG的歧义性不可判定定理9.9：任意CFG是否歧义的问题不可判定。证明：(接上页)若此PCP实例有解，那么在LA与LB中有相同的字wi1wi2…wimaim…ai2ai1。此字是歧义的。因而G是歧义的。反之，若G是歧义的，则必存在字，既可从SA又可从SB派生。若这个字是yaimaim-1…ai1，y?Σ*，那么i1,i2,…,im就是PCP的解。于是G是多义的，当且仅当该PCP实例(A,B)有解。因PCP不可判定，故CFG的多义性也不可判定的。第63页，共110页，星期日，2025年，2月5日图灵机的有效计算图灵机M=(Q,?,?,?,q0,B,F)的有效计算是一个字符串w1#w2R#w3#w4R#…，满足：⑴每个wi都是M的一个ID，wi??*Q?*且不以B结尾；⑵w1是初始ID，即w1=q0x，x??*；⑶wn是终止ID，即wn??*F?*；⑷对于i?1，wi├wi+1。不失一般性，Q??=?且#?Q??。第64页，共110页，星期日，2025年，2月5日TM的有效计算集是两个CFL的交引理9.6：一个TMM的有效计算集合是两个CFLL1和L2的交集，且其文法可从M有效构造。证明：首先，构造L3={y#zR|y├Mz}?CFL。构造PDAP接受L3。P读y，检查是否y??*Q?*，同时进行如下操作：若读到符号就推入栈中；若读到状态q，则将q存在有限控制器中，再读下个符号，然后模拟M的动作。这样就将满足y├z的IDz放入栈中。读过#以后，P将输入符号与栈顶符号逐个比较。若不同，P就停机。若相等，P弹出栈顶符号。当栈为空，P接受。故L3?CFL。第65页，共110页，星期日，2025年，2月5日TM的有效计算集是两个CFL的交引理9.6：一个TMM的有效计算集合是两个CFLL1和L2的交集，且其文法可从M有效构造。证明：首先，构造L3={y#zR|y├Mz}?CFL。令L1=(L3#)*({?}??*F?*#)。显然L1?CFL。类似的，构造L4={yR#z|y├z}?CFL。令L2=q0?*#(L4#)*({?}??*F?*#)。同样L2?CFL。L1?L2是M的有效计算的集合。对x1#x2#…#xm#，最后的ID含终态。L1保证所有奇数i有xi├xi+1R；L2保证x1是初始ID且所有偶数i有xiR├xi+1。第66页，共110页，星期日，2025年，2月5日CFL的交集是否为空不可判定定理9.10：?G1,G2?CFG，L(G1)?L(G2)=?不可判定。证明：任给TMM，可以由M构造出文法G1和G2，使得L(G1)?L(G2)是M的有效计算的集合。若存在算法A判断L(G1)?L(G2)是否为空，就能构造算法B判断L(M)=?。即，递归可枚举集合的空虚性问题可归约到关于CFG的交集问题。因为L(M)=?是不可判定的，所以A不存在。故CFL的交集是否为空的问题不可判定。第67页，共110页，星期日，2025年，2月5日图灵机的无效集合是CFL引理9.7：一个TMM=(Q,Σ,Γ,δ,q0,B,F)的无效计算集合是一个CFL。证明：如果字符串w是无效计算，那么必有下述情况之一出现：⑴w不是x1#x2#…#xm#形式，其中xi??*Q?*。⑵x1不是初始ID，亦即x1?q0?*中。⑶xm不是终结ID，亦即xm??*F?*中。⑷?某个奇数i，xi├xi+1R不成立。⑸?某个偶数i，xiR├xi+1不成立。正规集第68页，共110页，星期日，2025年，2月5日图灵机的无效集合是CFL引理9.7：一个TMM=(Q,Σ,Γ,δ,q0,B,F)的无效计算集合是一个CFL。证明：如果字符串w是无效计算，那么必有下述情况之一出现：……对于⑷可构造PDAP，P非确定选读某奇数的xi，读xi同时，将满足xi├z的IDz推进栈中，读到#后，比较z与随后的xi+1。若z≠xi+1，P就扫视剩余输入后接受。对于⑸亦可类似地构造PDA。第69页，共110页，星期日，2025年，2月5日CFL的全集性不可判定定理9.11：对于?CFGG，L(G)=?*是不可判定的。证明：给定任意TMM，可以有效地构造CFGG，它具有终极符字母表?，并使得L(G)=?*当且仅当L(M)=?。亦即，根据引理9.7可以构造一个CFGG，它产生M的无效计算集合。因此，若对于任意G，L(G)=?*是可判定的，那么就能对任意TMM