本文讨论了语言的文法描述。首先介绍文法的基本定义和推导、归约、文法定义的语言、句子、句型、文法的等价等重要概念。讨论了如何根据语言的特点、通过用语法变量去表示适当的集合（语法范畴）的方法进行文法构造，并按照乔姆斯基体系，将文法划分成PSG、CSG、CFG、RG等4类。最后介绍了空语句的一些定理。
又开坑了。。本文作为形式语言与自动机学习笔记系列的开篇，主要回顾了离散数学里面的一些基础概念，包括：集合、关系、图、树，还有语言的一些概念，包括：字符表、句子、
