终结符与非终结符

✍ dations ◷ 2025-12-06 02:23:45 #终结符与非终结符

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

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

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

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

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

一种语法的定义由推导规则构成。每个规则规定什么词位可以重写为什么别的词位。这些规则可以用来剖析字符串，也可以用来产生字符串。每个规则有左边和右边。左边有可以被取代的字符串，而右边有可以取代左边的字符串。规则的写法一般为左边 ${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> 都是非终结符。

相关

排名前20种语言以母语人口排序的语言列表使用母语人口数量来排序各种人类语言。至于母语使用人口最少的语言列表，请参阅濒临灭绝语言列表（英语：Lists of endangered languages）。下表涵盖了200
皮茨菲尔德皮茨菲尔德（英语：Pittsfield）位于美国麻省西部，是伯克夏县的县治所在，面积109.6平方公里。根据2000年美国人口普查，共有45,793人，其中白人占92.58%、非裔美国人占3.66%、亚裔美国人
邻苯二甲酸二(2-乙基己)酯邻苯二甲酸二(2-乙基己)酯（英语：bis(2-ethylhexyl)phthalate 或 di(2-ethylhexyl)phthalate，缩写分别为BEHP与DEHP），又称邻苯二甲酸二辛酯、酞酸二辛酯（dioctyl phthalate，缩写DOP），
AXNAXN是索尼影业拥有的电视网，于1997年9月21日在日本Sky PerfecTV!平台启播，AXN至今已于全世界不同的地区播放。AXN 24小时播放电视剧、电影、动画、真实历险和体育节目。AXN亚
宿雾水牛宿雾水牛（学名：Bubalus cebuensis）是在菲律宾发现的化石倭水牛，于2006年首次被描述。宿雾水牛最大的特征是其细小的体型。其他同期的水牛肩高约6呎及重2000磅，但宿雾水牛只有2.5
昌古·纳拉扬庙昌古·纳拉扬庙（天城文尼泊尔语：चाँगु नारायण मन्दिर，拉丁文转写：Changu Narayan Mandir），位于尼泊尔巴克塔普尔，是一座印度教神庙。该寺庙周围是黄兰树林，以及昌
宾索万宾索万（高棉语：ប៉ែន សុវណ្ណ；1936年4月15日－2016年10月29日），柬埔寨政治家。曾任柬埔寨人民共和国总理。生于茶胶省一户越南族贫农家庭。1949年13岁时参加高棉伊沙拉抗法
曾传芳曾传芳（1915年－1982年），曾用名张平，男，江西永丰人，中华人民共和国军事人物，中国人民解放军少将，曾任上海警备区政治部主任、副政治委员。
李挺李挺可以指：
斯蒂芬·加德纳斯蒂芬·加德纳（英语：Stephen Gardiner，1483年7月27日－1555年11月12日）是英格兰宗教改革时期的一位主教、政治家，玛丽一世时曾任大法官。斯蒂芬·加德纳出生于圣埃德蒙兹伯里，曾就读于剑桥大学三一学院，学习文学和法律。他当过托马斯·沃尔西的秘书，出使过法国，担任过国务大臣。他在爱德华六世在位时失势，一度被囚，但旋即获释。玛丽一世时担任大法官，并为玛丽一世加冕。