计算理论04PDA_NCF.ppt

今天课程 2.2 Pushdown Automata, ep101, cp66 Informal Description PDA (1) 与ep102， cp66 图稍有不同 Informal Description PDA (2) ep102 Formal Description PDA定义2.8 ep103形式化定义 cp67 PDA for L = { 0n1n | n?0 } ep104 cp67 例c3.9 PDA for L = { 0n1n | n?0 } ep104 cp67 例c3.9 0-—左括号，1—右括号 Machine Diagram for 0n1n ep103 cp67 例c3.9 Machine Diagram for 0n1n ep 103 PDAs versus CFL ep106 ，cp 69， 计划自学内容 2.3 Non-CF Languages ep115 cp74 先讲思想 “Pumping Lemma c3.19 for CFLs” ep115 与RL不同，CFL 两处打圈，至少一处是真圈， 先讲思想 Remember Parse Trees ep 116 cp75 ，先讲思想 Pumping a Parse Tree ep116 ，先讲思想 A Tree Tall Enoug