讲义下载-edX.pptVIP

《理论计算机科学基础》 * 例3.11 L(M3)={ wwR | w?{0,1}* } 《理论计算机科学基础》 * 例3.11 L(M3)={ wwR | w?{0,1}* } 开始时,把读到的符号推入堆栈中 在每一步,非确定性地猜测已到达 字符串的中点,然后变成 把读到的每一个符号弹出堆栈, 检查在输入中和在堆栈顶 读到的符号是否一样 如果它们总是一样的, 并且输入结束时堆栈同时排空, 则接受;否则拒绝 《理论计算机科学基础》 * 例3.11 L(M3)={ wwR | w?{0,1}* } q1 q2 q4 q3 ?, ??$ 0, ??0 ?, ??? 0, 0? ? ?, $? ? M3 1, ??1 1, 1? ? 《理论计算机科学基础》 * 总结 概念 上下文无关文法(CFG) 上下文无关语言(CFL) 派生,最左派生,固有歧义性 乔姆斯基范式(CNF) 下推自动机(PDA) 方法 设计CFG, 设计PDA 求等价CNF 《理论计算机科学基础》 * 例3.7(3b) (3b) S0 ? S S ? ASA | aB | a | SA | AS A ? B | S B ? b 《理论计算机科学基础》 * 例3.7(3b) (3b) S0 ? AS