本文共 1004 字,大约阅读时间需要 3 分钟。
终结符 和 非终结符 在编译原理的文法部分是出现得最多的概念,但由于在熟悉编译原理的人看来,这是个不值一提的简单概念,所以一般书上都没有对这两个概念做明确定义,这导致很多学员在没有直正的理解其含义的情况下,开始了文法的学习,所以学起来非常吃力。
(这句话说得真好。。。就是那些无视后来人的汇编高手给偶们这些初学的带来多大的困难)
下面我们一起学习这两个概念:
终结符: 通俗的说就是不能单独出现在推导式左边的符号,也就是说终结符不能再进行
推导。详细一点说:终结符是一个形式语言的基本符号。就是说,它们能在一个形式语法的推导规则的输入或输出字符串存在,而且它们不能被分解成更小的单位。确切地说,一个语法的规则不能改变终结符。例如说,下面的语法有两个规则: 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 为终结符来道题?顶得住吗?
转载:https://blog.csdn.net/qq_40147863/article/details/88770715