目录 1.基本概念1.1:字母表1.2:字母表上的运算1.3:串1.4:串上的运算 2.文法的定义2.1 文法的形式化定义2.2 产生式的简写2.3 符号约定 3.语言的定义3.1 推导和归约3.2 句型和句子3.3 语言的形式化定义3.4 语言上的运算 4.文法的分类4.1 Chomsky文法分类体系4.1.1 0型文法4.1.2 1型文法4.1.3 2型文法4.1.4 3型文法4.1.5 四种文法之间的关系 5.上下文无关文法的分析树5.1 CFG的分析树5.2 分析树是推导的图形化表示5.3 短语5.4 二义性文法 1.基本概念 1.1:字母表 1.2:字母表上的运算 1.3:串 1.4:串上的运算 2.文法的定义 2.1 文法的形式化定义 2.2 产生式的简写 2.3 符号约定 3.语言的定义 3.1 推导和归约 3.2 句型和句子 3.3 语言的形式化定义 3.4 语言上的运算 4.文法的分类 4.1 Chomsky文法分类体系 根据对文法产生式的不同要求进行分类 4.1.1 0型文法 4.1.2 1型文法 4.1.3 2型文法 4.1.4 3型文法 4.1.5 四种文法之间的关系 5.上下文无关文法的分析树 5.1 CFG的分析树 5.2 分析树是推导的图形化表示 5.3 短语 5.4 二义性文法