形式语言和自动机总结.ppt

形式语言与自动机理论 西北工业大学计算机学院 康慕宁 2008.11 第1章自动机:方法与体验 有限自动机常用类型 1.数字电路的设计和性能检查软件 2.典型编译器的“词法分析器” 3.扫描大量文本(比如收集到的网页)来发 现单词、短语或其他模式岀现的软件。 4.所有类型的只有有穷多个不同状态的 系统(比如通信协议或安全交换信息的协 议)的验证软件。 第2章有限(有穷)自动机 FA的形式化描述(五元组)、图表示 矩阵表示 2.确定的~:DFA。 3.非确定的~NFA及其确定化方法 4.带有空动作的NFA及其确定化 5.FA/DFA构造技术 第3章正则表达式与正则语言 正则表达式的 定义 FA与正则表达 式的相互转换 D(E)1 从DFA到正贝 OAewoenx 表达式的转换 In R) Zem or noe strings in RH 代数定律, Let rs) be a regex describing the set o labels of all paths in a from state i to state j going through intermediate states (1,.,k) nly. 第4章正则语言的性质 正则语言的泵引理及其应用(重点!)