【编译原理】简析文法分析，语法分析

编译原理第二章2.1~2.2

1.      上下文无关文法—描述了大多数程序设计语言构造的层次化语法结构。

2.      文法四要素

（1）      一个终结符号的结合（词法单元）+-*/

（2）      一个产生式的集合

（3）      一个非终结符号的集合（语法变量）

（4）      指定一个非终结符号为开始符号

3.      以同一个非终结符号为头部的多个产生式的体可以放在一起，表示不同体之间用“|”。

4.  Listà list + digit

Listàlist – digit

Listàdigit

Digità0|1|2|…|9

  -à读作可以具有如下形式

0个终结符号组成的串叫做空串

5.      语法分析：接受一个终极符号串作为输入，找出从文法的开始符号推导出这个串的方法。

6.      给定一个上下文无关文法，该文法的一颗语法分析树具有如下性质：

1） 根节点的标号为文法的开始符号；

2） 每个叶子节点的标号为一个终结符号或空串；

3） 每个内部节点的标号为一个非终结符号。

7.      没有子节点的节点称为叶子节点，其他节点称为内部节点。

8.      语法分析：对一个给定的终结符号串，构建一颗语法分析树的过程称为对该字符串进行语法分析。

9.      一个文法的语言的定义：任何能够由某颗语法分析树生成的符号串的集合。

10.  二义性问题