离散数学第五版：第十章知识点概要

        第十章为形式语言和自动机初步，书中定义了非常多的关于形式语言的概念，并且初步涉及了一些又穷自动机和图灵机之类的东西。

        第一节为形式语言和形式文法，讲的内容无非就是形式语言的种种，还有一些形式文法的定义，比如所谓的0型文法、1型文法、2型文法和3型文法。还有一些左右线性文法相关的定义，个人感觉有点脱离应用。

        第二节为有穷自动机，其中有穷自动机可以分为确定机和不确定机。

        第三节为有穷自动机和正则文法的等价性，即一一对应关系，或许这个很重要，但是书中写的东西，实在不敢恭维。

        第四节为图灵机，简单的提了提图灵机的历史，并且做了简单的案例，关于加法和乘法。

        耿素云屈婉玲的离散数学算是看完了，可能是书中写的东西过于学术而偏离应用，个人的感觉，有些脱离实际，乏善可陈。