有限自动机理论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