终结符与非终结符

✍ dations ◷ 2025-11-15 04:05:20 #终结符与非终结符

终结符和非终结符在计算机科学和语言学的领域是用来指定推导规则的元素。在某个形式语法之中，终结符和非终结符是两个不交的集合。

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

在这种语法之中，是一个终结符，因为没有规则可以把变成别的符号。不过，有两个规则可以把变成别的符号，所以是非终结符。一个形式语法所推导的形式语言必须完全由终结符构成。

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

在上下文无关文法中，每个推导规则的左边只能有一个非终结符而不能有两个以上的非终结符或终结符。并非所有的语言都可以被上下文无关文法产生。

一种语法的定义由推导规则构成。每个规则规定什么词位可以重写为什么别的词位。这些规则可以用来剖析字符串，也可以用来产生字符串。每个规则有左边和右边。左边有可以被取代的字符串，而右边有可以取代左边的字符串。规则的写法一般为左边 ${displaystyle rightarrow }$ $rightarrow$ 右边。比如，z0 → z1 这个规则规定 z0 可以重写为 z1。左边为一个非终结符，但是右边不一定是个终结符。

下面的形式文法代表一个整数。整数可能是有符号，就是说，可能是负数。下面使用巴科斯范式的变种来表示：

<integer> ::=  <digit> {<digit>}<digit> ::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'

在这个例子之中，符号 (-,0,1,2,3,4,5,6,7,8,9) 都是终结符，而 <digit> 和 <integer> 都是非终结符。

相关

原直翅目原直翅目（学名：Protorthoptera）是古生代已灭绝的一目昆虫，是新翅下纲基底的侧系群。它们生存于石炭纪晚期，是已知最早的有翅膀昆虫。它们是所有其他复新生翅类的祖先。它们的小翅
阿富汗共和国阿富汗共和国（达利语：fa‬，；{{lang-ps|د افغانستان جمهوریت，），是1973年至1978年存在于阿富汗的一个联邦政府国家，创建人穆罕默德·达乌德汗在一场非暴力政变罢黜阿
骆成骧骆成骧（1865年－1926年），字公骕，四川资州（今四川资中）舒家桥人，清朝官员、学者，也是清朝唯一的四川省籍状元。骆成骧生于清朝同治四年（1865年）。17岁时中秀才。两年后，以岁试第一名的成绩
吴晓铃吴晓铃（1914年－1995年），男，辽宁绥中人。中国学者，研究领域包括文献学、语言学、梵文及印度文学的翻译和中国古典戏曲、小说。著有《中国文学史》(古代部分，合作)，校订注译剧作《西厢
黄伯荣黄伯荣（1922年7月－2013年5月12日）广东阳江人。中华人民共和国语言学家。1951年，黄伯荣自中山大学语言学系研究生毕业，留校任教。1954年，由于高等院校专业合并，黄伯荣调入北京大学中
打弹珠打弹珠亦称打珠子，是一种历史悠久，主要为男性儿童参与的弹珠游戏，也为世界性的儿童游戏，其玩法多样化。玩家各出数枚弹珠，输掉的人会失去对弹珠的拥有权，虽玩法多样但基本姿势都相
皮尔斯峰坐标：67°48′S 61°12′E / 67.800°S 61.200°E / -67.800; 61.200皮尔斯峰（英语：Pearce Peak）是南极洲的山峰，位于莫耶斯峰以南3.7公里、法拉崖西南面28公里，海拔高度1,200米，该
Dark Globe《Dark Globe》（也被称为《Wouldn't You Miss Me》）是西德·巴雷特的一首歌，出版在他第一张个人独唱专辑《The Madcap Laughs》。
胡本耀胡本耀，中华人民共和国政治人物、外交官。1989年，接替杨成绪，担任中华人民共和国驻奥地利大使。1994年，由王延义接任。
环境数学数学为科学与工程学之基础，且为研究工作与规划设计上之有效工具。环境数学所涉及之数学技巧与工程数学之领域类似，为利用数学将实际环境问题模式化，进而求解与解释模式预测之结果。《环境数学》，骆尚廉编著，茂昌图书有限公司，1998年10月四版，ISBN 9579510636