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