编译原理

上下无关文法

1.终结符号

     终结符号是一个语言不可再分的基本符号。

2.非终结符号

   非终结符号用来代表语法范畴，例如算法表达式，布尔表达式，赋值句，分程序，过程等

3.开始符号

  开始符号是一个非终结符号，称为句子。

4.产生式

  产生式是定义语法范畴的一种书写规则。

5.语言

文法G所产生的句子的全体是一个语言。