编译原理第二章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. 二义性问题