形式语言与自动机总结课件.pptVIP

形式语言与自动机理论;第1章 自动机：方法与体验;第2章 有限（有穷）自动机;第3章 正则表达式与正则语言;第4章 正则语言的性质;第4章 正则语言的性质;;第5章 上下文无关文法及上下文无关语言;5.1 上下文无关文法;5.2 语法分析树;5.3 上下文无关文法的应用;5.4 文法的歧义性;第6章 下推自动机;6.1下推自动机的定义;6.2 PDA的语言（必须掌握）;6.3 PDA与CFG的等价性;6.4确定型的PDA;第7章 上下文无关语言的性质;7.1 上下文无关文法的范式;7.2 上下文无关语言的泵引理;7.3 CFL的封闭性;7.4 CFL的判定性质;第8章 图灵机导引;8.2 图灵机;8.3 图灵机的设计技术;8.4 图灵机的基本扩展;8.5 受限制的~（了解）;8.6 TM与计算机;第9章 不可判定性;9.1 非RE;9.2 是RE但不可判定;9.3 与图灵机有关的不可判定问题;9.4 Post对应问题;第10章 难解问题;10.1 P类与NP类