讲义4从pda构造cfg的算法上.pptxVIP

从PDA构造CFG的算法《理论计算机科学基础》引理3.15引理3.15: 如果一个语言被PDA 识别,则这个语言是CFL.证明思路《理论计算机科学基础》引理3.15引理3.15: 如果一个语言被PDA 识别,则这个语言是CFL.证明思路用CFG派生出PDA接受的串《理论计算机科学基础》引理3.15引理3.15: 如果一个语言被PDA 识别,则这个语言是CFL.证明思路用CFG派生出PDA接受的串变元基本起状态的作用 (如DFA到CFG)《理论计算机科学基础》引理3.15引理3.15: 如果一个语言被PDA 识别,则这个语言是CFL.证明思路用CFG派生出PDA接受的串变元基本起状态的作用如何消除栈的影响? 《理论计算机科学基础》引理3.15引理3.15: 如果一个语言被PDA 识别,则这个语言是CFL.证明思路用CFG派生出PDA接受的串变元基本起状态的作用如何消除栈的影响? 分析PDA工作过程《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程prq栈高度输入串《理论计算机科学基础》PDA的工作过程prq栈高度Apr输入串《理论计算机科学基础》PDA的工作过程pr栈高度Apr输入串《理论计算机科学基础》PDA的工作过程prq栈高度AprArq输入串《理论计算机科学基础》PDA的工作过程prq栈高度AprArq输入串《理论计算机科学基础》PDA的工作过程pq栈高度Apq输入串《理论计算机科学基础》PDA的工作过程prq栈高度AprArq输入串Apq= Apr Arq《理论计算机科学基础》PDA的工作过程prq栈高度AprArq输入串Apq= Apr ArqApq? Apr Arq《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程栈高度输入串《理论计算机科学基础》PDA的工作过程sr栈高度pqArs输入串《理论计算机科学基础》PDA的工作过程sr栈高度pqArsab输入串《理论计算机科学基础》PDA的工作过程sr栈高度pqArsab输入串《理论计算机科学基础》PDA的工作过程sr栈高度ttpqArsab输入串Apq= aArsbApq? aArsb《理论计算机科学基础》特殊形式的PDA只有唯一接受状态qaccept在接受之前排空栈每一个转移把一个符号推入栈, 或把一个符号弹出栈, 但不同时做这两个动作把同时推入和弹出的转移分成 两个转移, 经过一个中间状态把既不推入也不弹出的转移分成 两个转移,先推入一个任意符号, 再推出这个符号《理论计算机科学基础》引理3.15(p,?)(r,t)(s,t)(q,?)ab引理3.15: 如果一个语言被PDA 识别, 则这个语言是CFL.证明:设PDA P=(Q,?,?,?,q0,{qaccept}), 构造等价CFG G=({Apq|p,q?Q},?,R,Aq0qaccept), R包含如下规则: Apq?aArsb, ( 任何 p,q,r,s?Q, a,b???, t??, ?(p,a,?)包含(r,t)且 ?(s,b,t)包含(q,?) )Apq?AprArq , ( 任何 p,q,r?Q )App??, ( 任何 p?Q )《理论计算机科学基础》引理3.15Apq?aArsb Apq?AprArq App?? (p,?)(r,t)(s,t)(q,?)ab证明(续): 下面证明Apq产生x, 当且仅当x把P从状态p和空栈 一起带到状态q和空栈.断言3.16: 如果Apq产生x, 则x把P从状态p和空栈一起 带到状态q和空栈.断言3.17: 如果x把P从状态p和 空栈一起带到状态q和空栈, 则Apq产生x. 下面证明这两个断言. #《理论计算机科学基础》