上下文无关文法

1.语法：组合单词以形成词组、从句或句子的方法。

2.对于词法分析而言，字符串是源程序，符号是词法单词，字母表是词法分析器返回的单词类型集合。

3.词法单元和终结符号：在编译器中，词法分析器读入源程序中的字符序列，将它们组织成具有词法含义的词素，生成并输出代表这些词素的词法单元序列。

词法单元由两部分组成：名字和属性。词法单元的名字是语法分析器进行语法分析时使用的抽象符号。词法单元的名字又称为终结符号，因为它们在描述程序设计语言

的文法中是以终结符号的形式出现的。如果词法单元具有属性，那么这个值就是一个指向符号表的指针，符号表中包含了该词法单元的附件信息。这些附加信息不是文法

的组成部分，因此通常将词法单元和终结符号当做同义词。

4.上下文无关文法，简称文法，是一种描述程序设计语言语法的表示方法。

5.像if和括号这样的词法元素成为终结符号；像expr和stmt这样的变量表示终结符号的序列，称为非终结符号。

6.一个上下文无关文法由四个元素组成：

 a  一个终结符号集合  终结符号是该文法所定义的语言的基本符合的集合。

 b  一个非终结符号的集合  有时成为语法变量   每一个非终结符号表示一个终结符号串的集合

 c  一个产生式集合   其中每一个产生式包括一个成为产生式头或者左部的非终结符号，一个箭头和一个产生式体和右部的由终结符号及非终结符号组成的序列。产生式主要用来表示某个构造的书写形式。例如：如果产生式头非终结符号代表一个构造，那么该产生体就代表了该构造的一种书写形式。

d  指定一个非终结符号为开始符号。