【编译原理】文法

终结符 和 非终结符 在编译原理的文法部分是出现得最多的概念，但由于在熟悉编译原理的人看来，这是个不值一提的简单概念，所以一般书上都没有对这两个概念做明确定义，这导致很多学员在没有直正的理解其含义的情况下，开始了文法的学习，所以学起来非常吃力。

（这句话说得真好。。。就是那些无视后来人的汇编高手给偶们这些初学的带来多大的困难）

下面我们一起学习这两个概念：

终结符： 通俗的说就是不能单独出现在推导式左边的符号，也就是说终结符不能再进行 推导。

详细一点说：终结符是一个形式语言的基本符号。就是说，它们能在一个形式语法的推导规则的输入或输出字符串存在，而且它们不能被分解成更小的单位。确切地说，一个语法的规则不能改变终结符。例如说，下面的语法有两个规则： x -> xa x -> ax 在这种语法之中，a是一个终结符，因为没有规则可以把a变成别的符号。不过，有两个规则可以把x变成别的符号，所以x是非终结符。一个形式语法所推导的形式语言必须完全由终结符构成。

非终结符： 不是终结符的都是非终结符。非终结符可理解为一个可拆分元素，而终结符是不可拆 分的最小元素。

非终结符是可以被取代的符号。一个形式文法中必须有一个起始符号；这个起始符号属于非终结符的集合。

判断注意： （1）只要存在有 S→L ，则 S 必然是个非终结符 （2）逗号，[，]，（，） 这5个都是终结符 （3）一般书上把非终结符用大写字母 表示，而终结符用小写字母表示。

识别符号： 就是开始符。由文法产生语言句子的基本思想是： 从识别符号开始，把当前产生的符号串中的非终结符号替换为相应规则右部的符号串，直到 最终全由终结符号组成。这种替换过程称为推导或产生句子的过程，每一步成为直接推导或 直接产生。

例如：

有文法G2[S]为： S->Ap S->Bq A->a A->cA B->b B->dB 则表示：S 为开始符，S，A，B 为非终结符，而p,q,a,b,c,d 为终结符

来道题？顶得住吗？