《编译原理》文法 - 终结符和非终结符

《编译原理》文法 - 终结符和非终结符

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

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

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

---

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

详细一点说：终结符是一个形式语言的基本符号。就是说，它们能在一个形式语法的推导规则的输入或输出字符串存在，而且它们不能被分解成更小的单位。确切地说，一个语法的规则不能改变终结符。例如说，下面的语法有两个规则：
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 为终结符

还想继续进阶吗？

来道题？顶得住吗？