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

灰太狼 2022-02-28 01:40 556阅读 0赞

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

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

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

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

--------------------

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

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

### 还想继续进阶吗？ ###

**来道题？顶得住吗？**  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9pY29kZS5ibG9nLmNzZG4ubmV0_size_16_color_FFFFFF_t_70]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9pY29kZS5ibG9nLmNzZG4ubmV0_size_16_color_FFFFFF_t_70]: /images/20220228/205a1e3c6b2f42819a6ff9b8b2780aa8.png