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

形式语言与自动机理论 西北工业大学计算机学院 康慕宁 2008.11 第1章 自动机：方法与体验 有限自动机常用类型 1．数字电路的设计和性能检查软件。 2．典型编译器的“词法分析器” 。 3．扫描大量文本(比如收集到的网页)来发现单词、短语或其他模式出现的软件。 4．所有类型的只有有穷多个不同状态的系统(比如通信协议或安全交换信息的协议)的验证软件。 第2章 有限（有穷）自动机 1．FA的形式化描述(五元组)、图表示、矩阵表示。 2．确定的~ ：DFA。 3．非确定的~ NFA及其确定化方法 4．带有空动作的NFA及其确定化 5. FA/DFA构造技术 第3章 正则表达式与正则语言 正则表达式的定义 FA与正则表达式的相互转换 从DFA到正则表达式的转换 ~代数定律 第4章 正则语言的性质 正则语言的泵引理及其应用（重点！） 第4章 正则语言的性质 ~的封闭性 交、并、补、差、闭包（*）、连接 反转 同态 逆同态 判定性质（各种表示之间的转换、空性、成员性） 最小化（状态的等价性、最小化的填表算法P106） 第5章 上下文无关文法及上下文无关语言 5.1 上下文无关文法 文法的定义及基本概念 推导、最左推导、最右推导 文法的语言 句型 文法的构造技术 5.2 语法分析树 构造~ 从推导到树 从树到推导 5.3 上下文无关文法的应用 程序设计语言 标记语言（例：HTML） 5.4