Lecture Notes for Computation Theory.ppt

Lecture Notes for Computation Theory 今天课程 2.2 Pushdown Automata, ep101, cp69 2.2 Pushdown Automata, ep101, cp69 2.2 Pushdown Automata, ep101, cp69 Informal Description PDA (1) 与ep102， cp69 图稍有不同, 实质一样 Informal Description PDA (2) ep102 Informal Description PDA (2) ep102 Informal Description PDA (1) 与ep102， cp6９ 图稍有不同 Formal Description PDA定义2.8 ep103形式化定义 cp70 Formal Description PDA定义2.8 ep103形式化定义 cp67 PDA for L = { 0n1n | n?0 } ep104 cp67 例c3.9 PDA for L = { 0n1n | n?0 } ep104 cp71 例2.9 PDA for L = { 0n1n | n?0 } ep104 cp71 例2.9 0-—左括号，1—右括号 Machine Diagram for 0n1n ep103 cp71 例2.9 Machine Diagram for 0n1n cp71 PDAs versus CFL ep106 ，cp 72， 计划自学内容 PDAs versus CFL ep106 ，cp 72， 计划自学内容 PDAs versus CFL ep106 ，cp 72， 计划自学内容 引理2.13 的证明（１） 拟略去 或供同学发言用 引理2.13 如果一个语言是上下文无关的，则存在一台下推自动机识别它。 证明思路 设A 是CFL，根据定义，存在一个CFG G产生它。说明如何把G转换成一台等价的PDA P。 确定是否存在关于输入w的派生PDA P当G产生w时，接受这个输入。 派生是当文法产生一个字符串时的替换序列，派生的每一步产生一个变元和终结符的中间字符串。 设计P，以确定是否有一系列使用G的规则替换，能够从起始变元导出w 检验是否有关于w的派生。 困难在于判断要替换， PDA的非确定性使得它能够猜想出正确的替换序列， 在派生的每一步，非确定地选择关于某个变元的一条规则，并且对这个变元做替换。 引理2.13 的证明（２） 拟略去 或供同学发言用 为简化工作，对P作修改，使其具有以下三个特点。 1）有唯一的接受状态qaccept 。 2）在接受之前清空栈。 3）每一个转移把一个符号推入栈(推入动作)，或者把一个符号弹出栈(弹出动作)，但不同时做这两个动作。 使P具有特点1和2较容易，使P具有特点3就要把每一个同时弹出和推入的转移替换成两个转移，中间要经过一个新的状态；把每一个既不弹出也不推入的转移替换成两个转移，先推入任意一个栈符号，然后再把它弹出。 引理2.15的证明（１） 拟略去 或供同学发言用 引理2.15 如果一个语言被一台下推自动机识别，则它是上下文无关的。 证明思路 现有一台PDA P，要构造一个CFG G，它产生P接受的所有字符串。换言之，如果一个字符串能使P从它的起始状态转移到一个接受状态，则G应该产生这个字符串。 为了获得这个结果，我们设计一个能做更多事情的文法。对于P的每一对状态p和q，文法有一个变元Apq。它产生所有能够把P从p和空栈一块带到q和空栈的字符串。可以看出不管栈的内容是什么，这样的字符串也能够把P从p带到q，并且保持栈的内容在状态q和在状态p时—样。 引理2.1５ 证明（２） 拟略去 或供同学发言用 为简化，对P作轻微修改，具有 下三特点。 1）有唯一的接受状态qaccept 。 2）在接受之前清空栈。 3）每一个转移把一个符号推入栈(推入动作)，或者把一个符号弹出栈(弹出动作)，但不同时做这两个动作。 使P具有特点1和2较容易，使P具有特点3就要把每一个同时弹出和推入的转移替换成两个转移，中间要经过一个新的状态；把每一个既不弹出也不推入的转移替换成两个转移，先推入任意一个栈符号，然后再把它弹出。 引理2.1５ 证明（２） 拟略去 或供同学发言用 设计G，使得Apq产生把P从p带到q并且以空栈开始和结束的所有字符串，了解P对这样的字符串如何运行。 对于任一的字符串x