有限自动机理论05章下推自动机(简化)答题.ppt

对于多态PDA 得到对应的上下文无关文法的产生式具有如下的形式： A→aA1A2…An 或 A→A1A2…An 或 A→a 或 A→ε 定理5-13 若M是多态的PDA，则存在一个单态PDA′，使得 L(PDA)= L(PDA′) 证明 略。 总之 对于一个PDA 存在一个上下文无关文法G，使得L(M)=L(G)。 注意 确定PDA和不确定PDA不等价。 例5-16构造(广义)PDA接收 语言 L={w|w∈{a,b}* 且w中a的个数为b的2倍} 考虑出栈情况 基本结构为：aab、aba和baa。 a， Z0，AZ0 b， Z0，BZ0 a， A，AA a， B，AB b， B，BB b， A，BA aba baa aab a，AB，ε // aba a，BA，ε //baa b，AA，ε // aab ε，Z0，ε 方法2： 构造文法 S→SaSaSbS|SaSbSaS|SbSaSaS|ε 转换为GNF 转换为PDA 思考 构造PDA接收 语言L={w|w∈{a,b}+,且w中a的个数为b的2倍} 例5-17 构造PDA接收 语言 L={anbm|0≦n ≦ m，m ≦ 2n} S→aSB|aSBB|ε B→b 单态PDA为 a,S,SB a,S,SBB b,B, ε ε,S,ε 或 单态PDA a,Z0,AZ0 a,A,AA a,A,AAA b,A,ε ε,Z0,ε 例5-18 构造PDA接收 语言 L={anbm|0 ≦ m ≦ n，n ≦ 2m} S→aASB|aSB|ε A→a B→b 单态PDA a,S,ASB a,S,SB a,A, ε b,B, ε ε,S,ε 或 单态PDA a,Z0,AZ0 a,A,AA b,A,ε b,AA,ε ε,Z0,ε 补充 双栈PDA δ:Q×∑×Г ×Г →Q×Г*×Г* 识别语言 anbn anbm 和简单算术表达式 [英][?:?t?m?t?n]?[美][??tɑm?t?n, -?tɑn] * 暂时不考虑状态 (或PDA仅有一个状态) * * 需要增加状态描述 规则1和3：不确定 * 规则3和4：不确定 * * 希腊字母Α α alpha Β β beta Γ γ gamma Δ δ delta Ε ε epsilon ∑ σ sigma Ω ω omega * 0(0+1)*1 桟内 仅1个符号 对应NFA的状态 或RG的非终结符号 举例 0（0+1）*1 * 或 至少 2个a和1个b * ③若ε∈L(G)，则G′有S′→ε， 且S′不出现在G′的任何产生式的右边 ④G′中没有A→B形式的产生式。 证明 前3点是空串定理的内容(见2.6) 第4点证明参见参考文献1。 5.2.1 Chomsky范式(CNF) 定义5-7 上下文无关文法G=(∑，V，S，P) 若G的每个产生式是下列形式之一： A→BC A，B，C∈V A→a A∈V，a∈∑ S→ε 且S不出现在产生式的右边 则G是Chomsky范式(CNF) 。 定理5-6 G是一个上下文无关文法，则存在一个等价的上下文无关文法G′ 使得L(G)=L(G′)，且G′是CNF。 证明 略 5.2.2 Greibach范式(GNF) 定义5-8 上下文无关文法G=(∑，V，S，P) 是GNF，若G的每个产生式形式为 A→bW 其中：b∈∑，W∈V* S→ε 且S不出现在产生式的右边 定理5-9 G是任意一个上下文无关文法，则存在一个等价的上下文无关文法G′， 使得L(G)=L(G′) 且G′是Greibach范式(GNF)。 对于任意的上下文无关文法G，产生式形式为 Ai→Ajw Ai→aw 或 假设w包含的字符全为非终结符 对于Ai→aw，本身就是GNF的形式 对于Ai→Ajw 利用消除左递归的算法，在消除左递归的以后，将An代入到An-1，将An-1代入到A n-2，直至A1， 再将增加的非终结符的产生式的开头符号代替掉，得到GNF。 5.3 PDA与上下文无关语言 PDA识别的语言是上下文无关语言。 定理5-10 对于上下文无关语言L和文法G 若L=L(G)，则 语言