编译原理第二章

第二章高级语言及其语法描述

2.1程序语言的定义

2.2高级语言的一般特性

2.3程序语言的语法描述

2.3.1上下文无关文法

文法是描述语言的语法结构的形式规则

语法分析树：用一种图示化的方法来表示这种推导

归纳起来，一个上下文无关文法G包括四个组成部分：一组终结符号，一组非终结符号，一个开始符号，以及一组产生式。

大写：非终结界  小写：终结界

最左推导，最右推导

2.3.2语法分析树与二义性

如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。

2.3.3形式语言鸟瞰

0型（短语文法，图灵机）

1型（上下文有关文法，线性界限自动机）

2型（上下文无关文法，非确定下推自动机）

3型（正规文法 ，有限自动机）