形式语言与自动机理论(一)(精).pptVIP

形式语言与自动机理论 山东大学计算机科学与技术学院 参考教材 1、形式语言与自动机理论 作者：蒋宗礼、姜守旭 出版社：清华大学出版社 2、An Introduction to Formal Languages and Automata (Third Edition) 作者：Peter Linz 出版社：机械工业出版社 3、Introduction to Automata Theory, Languages, and Computation (Second Edition) 作者：John E.Hopcroft,Rajeev Motwani,Jeffrey D.Ullman 出版社：清华大学出版社 第一章 绪论 计算机科学研究的课题是： 可计算性； 算法和复杂性理论； 数据结构和数据库； 人工智能； 人机交互和人机界面。 第一章 绪论 计算机科学 理论计算机科学 ①自动机论与形式语言理论；②程序理论（包括程序正确性证明、程序验证等）；③形式语义学；④算法分析和计算复杂性理论。 实验计算机科学 第一章 绪论 1.4 语言 1.4.1 语言的非形式和形式定义 Webster 定义： 为相当大的团体的人所懂得,并使的字和组合这些字的方法的统一体。 第一章 绪论 1.4 语言 1.4.1 语言的非形式和形式定义 第一章 绪论 1.4 语言 1.4.2 形式语言和自动机理论的产生和作用 第一章 绪论 1.4 语言 1.4.3 基本概念 形式语言的直观意义 形式语言是用来精确描述语言（包括人工语言和自然语言）及其结构的手段。形式语言学也称代数语言学。 第一章 绪论 1.4 语言 1.4.3 基本概念 对语言研究的主要方面： 第一章 绪论 语言描述的三种途径： （1）穷举法：只适合句子数目有效的语言。 （2）语法描述：生成语言中合格的句子。 （3）自动机：对输入的句子进行检验，区别哪些是语言中的句子，哪些不是语言中的句子。 第一章 绪论 1.4 语言 1.4.3 基本概念 第二章 文法 2.1 文法的引入 第二章 文法 1．〈句子〉→〈主语〉〈谓语〉 2．〈主语〉→〈名词短语〉 3．〈名词短语〉→〈名词〉 4．〈名词短语〉→〈名词〉〈连接词〉〈名词短语〉 5. 〈名词〉→王平 6. 〈名词〉→李新 7. 〈连词〉→和 8. 〈谓语〉→〈动宾短语〉 9．〈动宾短语〉→〈动词〉〈宾语〉 10.〈动词〉→是 11.〈宾语〉→〈名词〉 12.〈名词〉→大学生 第二章 文法 第二章 文法 2.2 文法的形式定义 第二章 文法 2.2 文法的形式定义 第二章 文法 2.2 文法的形式定义 第二章 文法 2.3 文法的构造 第二章 文法 2.3 文法的构造 第二章 文法 第二章 文法 第二章 文法 第二章 文法 第二章 文法 第二章 文法 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 3.5 FA是正规语言的识别器 第三章 有限状态自动机 3.5 FA是正规语言的识别器 第三章 有限状态自动机 3.5 FA是正规语言的识别器 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 3.6 FA的一些变形 第三章 有限状态自动机 第三章 有限状态自动机 第三章 有限状态自动机 总结： 第四章 正规表达式 4.1 正规表达式的形式定义 第四章 正规表达式 4.1 正规表达式的形式定义 第四章 正规表达式 4.1 正规表达式的形式定义 第四章 正规表达式 4.1 正规表达式的形式定义 第四章 正规表达式 4.2 正规表达式与FA的等价 第四章 正规表达式 4.2 正规表达式与FA的等价 第四章 正规表达式 第四章 正规表达式 第四章 正规表达式 第四章 正规表达式 4.2 正规表达式与FA的等价 第四章 正规表达式 4.2 正规表达