终结符与非终结符

✍ dations ◷ 2025-09-16 03:25:26 #终结符与非终结符

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

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

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

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

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

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

相关

  • 网状内皮系统单核吞噬细胞系统(英语:Mononuclear phagocyte system、MPS)是高等动物免疫系统的一部分,由可以进行吞噬作用的细胞组成 。通常存在于网状结缔组织(reticular connective tissue)
  • 干细胞疗法干细胞疗法是通过利用对干细胞进行体外分离、培养、定向诱导分化等,能够培养出一种全新的、正常的、更年轻的细胞、组织、器官等。通过特殊的移植技术移植到体内,代替那些正常
  • 日期在日历中,日期是一个在历法中特定的日子。日期可以帮助我们表示一个指定的日子。我们可以计算出两个日期的距离,例如在公历里,"2020年3月24日"在"2020年3月14日"十日后。一个事
  • 超凡乐团超凡乐团(英语:The Prodigy)是英伦电子舞曲乐团,1990年由连恩·豪利特成立于雅息士郡布伦特里。它和流线胖小子、化学兄弟并称,被公认是Big beat音乐的革命先锋,1990年代和2000年
  • 宫本显治宫本显治(1908年10月17日-2007年7月18日),日本政治家、文艺评论家、社会主义者。他在二战以前作为日本共产党党员从事地下活动,战后自1958年开始担任日本共产党党首达40余年之久,
  • 往日情怀《往日情怀》(英语:),是一套1973年的美国浪漫剧情片,由薛尼·波勒执导,芭芭拉·史翠珊与罗伯特·雷德福主演,并由芭芭拉·史翠珊演唱同名主题曲。故事其实是改编自编剧亚瑟·劳伦斯
  • 617年
  • 安迪·布莱恩特安迪·D·布莱恩特(英语:Andy D. Bryant,1950年-),是跨国半导体公司英特尔的前任董事长。他于1981年加入英特尔,曾经担任该公司的副董事长、首席行政官和首席财务官 。布莱恩特于2020年1月辞去董事会主席一职,并打算在2020年5月之前完全从董事会退休。他继续担任公司的执行顾问,任职于麦克森公司(英语:McKesson Corp.)和美国哥伦比亚运动服装公司的董事会成员。
  • 补花毡补花毡,维吾尔语和柯尔克孜语称为“西尔达克”,哈萨克语称为“斯尔玛克”,是中亚各民族(包括维吾尔族、哈萨克族、柯尔克孜族等)的传统手工制毡。制作工艺为用彩色布套剪成羊角、鹿角、骨、树枝、云等纹样缝绣在毡上,正反对补。制作流程相较其它种类的花毡简单,因此在游牧民族内很流行。
  • 上下文无关语言上下文无关语言是可以用上下文无关文法定义的形式语言。所有上下文无关语言的集合同一于下推自动机所接受的语言的集合。一个原型上下文无关语言是 L = { a n b n : n ≥