语法格式描述规范BNF、EBNF、ABNF

最新推荐文章于 2023-09-06 00:34:41 发布

子不语

最新推荐文章于 2023-09-06 00:34:41 发布

阅读量5.8k

点赞数 4

分类专栏：文档分享文章标签：语法 BNF

原文链接：https://www.jianshu.com/p/15efcb0c06c8

版权

文档分享专栏收录该内容

11 篇文章 2 订阅

订阅专栏

1. 简介

BNF 是最原始，最简单的方法，主要用于理论背景的学术论文中，以与人类进行交流。（与在编译器/解析器中使用相反）。BNF 没有确切的规范。
EBNF 是 Extended BNF （扩展的BNF）的缩写。没有一个标准的 EBNF，因为每个作者或程序都定义了自己的稍有不同的 EBNF 变体。
ABNF 是 augmented BNF（增强型BNF）的缩写，ABNF 的语法与 BNF 完全不同，但是更加标准化，利于解析器的翻译，但不利于阅读；

BNF、EBNF、ABNF 这三者的表达能力是等效的；它们只是语法上的差异。

举例1：在传统的 BNF 中，左式和右式的分隔符（即：定义符）通常是::=，而在书籍中通常是 →，在 EBNF 和 ABNF 中是 =；
举例2：在传统的 BNF 中，非终结符用尖括号括起来，例如，<EXPR>终结符不用加任何额外的符号，用普通字符表示即可。而在 ABNF 中，非终结符用普通字符表示，终结符需要用双引号括起来，例如"+" ；
举例3：在 BNF 和 EBNF 中，替代符号（选项符号）是 |，在 ABNF 中，替代符号是 /；
举例4：EBNF 和 ABNF 还具有快捷语法语法，比如指定 0个或多个重复项。要将其用 BNF 表示，则需要引入更多规则。

通常，BNF 更适合教学、解释和理论讨论。EBNF 和 ABNF 经常用于语法定义和解析器解析，其中 ABNF 更加利于解析器解析；

2. 巴科斯范式BNF

巴科斯范式的英文缩写为BNF，它是以美国人巴科斯(Backus)和丹麦人诺尔(Naur)的名字命名的一种形式化的语法表示方法，用来描述语法的一种形式体系，是一种典型的元语言。又称巴科斯-诺尔形式(Backus-Naur form)。它不仅能严格地表示语法规则，而且所描述的语法是与上下文无关的。它具有语法简单，表示明确，便于语法分析和编译的特点。

BNF表示语法规则的方式为：

非终结符用尖括号括起。
每条规则的左部是一个非终结符，右部是由非终结符和终结符组成的一个符号串，中间一般以::=分开。
具有相同左部的规则可以共用一个左部，各右部之间以直竖“|”隔开。

BNF中常用的元字符及其表示的意义如下：

::= ：是“被定义为”的意思；示例：字符串 ::= 用引号包围的字符序列，表示 字符串 就是 用引号包围的字符序列
"..."：终结符，即引号中的字符序列本身，并非指代其它字。而终结符双引号 " 用 double_quote 用来表示；示例：函数调用 ::= 名字 "()" 表示 函数的调用 是由 名字 加上左右括号字符 () 组成；
double_quote ：代表终结符双引号 "；示例：字符串 ::= double_quote ... double_quote，表示 字符串 是由被字符 " 包围的字符序列组成；
在双引号外的字代表着语法部分；示例：基本类型 ::= 字符串 | 数字 | 布尔，表示 字符串 或 数字 或 布尔 都是 基本类型，但 字符串、数字、布尔 具体是什么，由其它规则定义；
<...>：必选项；示例：名字 ::= [姓] <名> 表示 名字 中的 名 是必须要有的，但 姓 是可有可无的，即：姓名 是 名字，名 也是 名字；
[...]：可选，可有可无；示例：名字 ::= [姓] <名> 表示 名字 中的 名 是必须要有的，但 姓 是可有可无的，即：姓名 是 名字，名 也是 名字；
{...}：重复，0 或任意次重复；示例：AB ::= "a" {"b"}，表示 AB 是由一个 a 后面跟上任意数量（包括0个）个 b 组成，如 a、a b、a bb、a bbb
(...)：分组，用来控制表达式的优先级；示例：AX ::= "a" ("m"|"n")，表示 AX 是由一个 a 后面跟上 m 或 n 组成；
|：替换，即 或 的意思；示例：布尔 ::= "true" | "false"，表示 true 或 false 都是 布尔；
...：表示各种列举或省略的代码片断；示例：a...z 表示从 a 到 z 的字符，"..." 表示由双引号 " 包围起来的任意字符；
斜体字: 参数，在其它地方有解释；

3. 扩展的巴科斯范式EBNF

EBNF，EBNF 是 Extended BNF 的缩写，意思是扩展的巴科斯范式。用来描述计算机语言语法的符号集。现在，几乎每一位新编程语言书籍的作者都使用巴科斯范式来定义编程语言的语法规则。

扩展巴科斯-瑙尔范式(EBNF)是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法符号表示法。它是基本巴科斯范式(BNF)元语法符号表示法的一种扩展。

它最初由尼古拉斯·沃斯开发，最常用的 EBNF 变体由标准，特别是 ISO-14977 所定义。

3.1. EBNF符号表

下面是 推荐标准ISO/IEC 14977 所定义的符号及其含义

=：定义；示例：字符串 = 用引号包围的字符序列，表示 字符串 就是 用引号包围的字符序列
,：串接；示例：郭斌勇 = 'guo' , 'binyong' 表示 郭斌勇 是由 guo 和 binyong 串接而成的 guobinyong 而不是 guo binyong;
;：终止，表示一个定义语句结束了，在没有歧义的情况下可省略；示例：变量名字 = 标识符 ; 类型名字 = 标识符
|：替换，即 或 的意思；示例：布尔 = 'true' | 'false'，表示 true 或 false 都是 布尔；
[...]：可选，可有可无；示例：名字 = [姓] 名 表示 名字 中的 姓 是可有可无的，即：姓名 是 名字，名 也是 名字；
{...}：重复，0 或任意次重复；示例：AB = 'a' {'b'}，表示 AB 是由一个 a 后面跟上任意数量（包括0个）个 b 组成，如 a、a b、a bb、a bbb
(...)：分组，用来控制表达式的优先级；示例：AX = 'a' ('m'|'n')，表示 AX 是由一个 a 后面跟上 m 或 n 组成；
'...'：终结符，即引号中的字符序列本身，并非指代其它字；示例：函数调用 = 名字 '()' 表示 函数的调用 是由 名字 加上左右括号字符 () 组成；
"..."：终结符，同 '...'；
(*...*)：注释，说明性文本，不表示任何语法；
?...?：特殊序列
-：排除，除去；

3.2. EBNF语法的定义

用 EBNF范式来描述 EBNF 的语法

生成式 = 生成式名 ‘=’ [ 表达式 ] [’;’] ; 表达式 = 选择项 { ‘|’ 选择项 } ; 选择项 = 条目 { 条目 } ; 条目 = 生成式名 | 标记 [ ‘…’ 标记 ] | 分组 | 可选项 | 重复项 ; 分组 = ‘(’ 表达式 ‘)’ ; 可选项 = ‘[’ 表达式 ‘]’ ; 重复项 = ‘{’ 表达式 ‘}’ ;

生成式由表达式构造，表达式通过术语及以下操作符构造，自上而下优先级递增（低=>高）：

| 选择 () 分组 [] 可选（0 或 1 次） {} 重复（0 到 n 次）

小写生成式名用于标识词法标记。非终结符使用驼峰记法。位于引号 '...' 内的即为终结符。

形式 a … b 表示把从 a 到 b 的字符集作为选择项。横向省略号 … 也在本文档中非正式地表示各种列举或简略的代码片断。

4. 增强型巴科斯范式ABNF

RFC2234 定义了增加型巴科斯范式(ABNF)。近年来在Internet的定义中 ABNF 被广泛使用。ABNF 做了更多的改进。增强型巴科斯-瑙尔范式(ABNF)基于了巴科斯-瑙尔范式(BNF)，但由它自己的语法和推导规则构成。这种元语言的发起原则是描述作为通信协议(双向规范)的语言的形式系统。它建档于 RFC 4234 中通常充当 IETF 通信协议的定义语言。

4.1. 推导规则

ABNF 规定是一组推导规则，写为：

规则 = 定义 ; 注释 CR LF

说明：

这里的规则是大小写敏感的非终结符，定义是由定义这个规则的符号序列、一个文档注释组成，并结束于回车换行。
规则名字是大小写不敏感的: , , 和都提及同一个规则。规则名字由开始于一个字母的字母、数字和连字符组成。不要求用尖括号(“<”, “>”) (如 BNF 那样)包围规则名字。但是它们可以用来界定规则名字，比如在冗文中识别出规则名字的时候。ABNF 使用 7-位 ASCII 编码，在 8-位域中把高位置零。
终结符由一个或多个数值字符指定。数值字符可以指定为跟随着基数(b = 二进制, d = 十进制, x = 十六进制)的一个百分号“%”，随后是这个数值，或数值的串联(用“.” 来指示)。例如回车可以指定为十进制的 %d13 或十六进制的 %x0D。回车换行可以指定为 %d13.10。
文字正文通过使用包围在引号(")中字符串来指定。这些字符串是大小写不敏感的，使用的字符集是 US-ASCII。所以字符串“abc”将匹配“abc”, “Abc”, “aBc”, “abC”, “ABc”, “AbC”, “aBC” 和 “ABC”。对于大小写敏感匹配，必须定义明确的字符: 要匹配 “aBc” 定义将是 %d97 %d66 %d99。

4.2. 操作符

空白被用来分隔定义的各个元素: 要使空格被识别为分割符则必须明确的包含它。

4.3. 串联

规则1 规则2

规则可以通过列出一序列的规则名字来定义。

示例：
要匹配字符串“aba”可以使用下列规则:

fu = %x61; a bar = %x62; b mumble = fu bar fu

4.4. 选择

规则1 / 规则2

规则可以通过用反斜杠(“/”)分隔的多选一规则来定义。

示例：
要接受规则或规则可构造如下规则：

fubar = fu / bar

4.5. 递增选择

规则1 =/ 规则2

可以通过使用在规则名字和定义之间的“=/”来向一个规则增加补充选择。

示例：
规则

ruleset = alt1 / alt2 / alt3 / alt4 / alt5

等价于

ruleset = alt1 / alt2 ruleset =/ alt3 ruleset =/ alt4 / alt5

4.6. 值范围

%c##-##

数值范围可以通过使用连字符(“-”)来指定。

示例：
规则

OCTAL = “0” / “1” / “2” / “3” / “4” / “5” / “6” / “7”

等价于

OCTAL = %x30-37

4.7. 序列分组

(规则1 规则2)

元素可以放置在圆括号中来组合定义中的规则。

示例：
要匹配“elem fubar snafu”或“elem tarfu snafu”可以构造下列规则：

group = elem (fubar / tarfu) snafu

要匹配“elem fubar”或“tarfu snafu”可以构造下列规则：

group = elem fubar / tarfu snafu group = (elem fubar) / (tarfu snafu)

4.8. 可变重复

n*m规则

要指示一个元素的重复可以使用形式 <a>*<b>元素。可选的 <a> 给出要包括的元素的最小数目，缺省为 0。可选的 <b> 给出要包括的元素的最大数目，缺省为无穷。
对零或多个元素使用 *元素，对一或多个元素使用 1*元素，对二或三个元素使用 2*3元素。

4.9. 特定重复

n规则

要指示明确数目的元素可使用形式 <a>元素，它等价于 <a>*<a>元素。
使用 2DIGIT 得到两个数字，使用 3DIGIT 得到三个数字。(DIGIT 在下面的核心规则中定义)。

4.10. 可选序列

[规则]

示例：
要指示可选元素下列构造是等价的：

[fubar snafu] 1(fubar snafu) 01(fubar snafu)

4.11. 注释

; 注释

分号(“;”)开始一个注释并持续到此行的结束。

4.12. 操作符优先级

上述操作符有从最紧绑定(binding)到最松绑定的给定优先级:

字符串，名字形成(formation)
注释
值范围
重复
分组，可选
串联
选择

与串联一起使用选择操作符可以造成混淆，建议使用分组来做明确串联分组。

4.13. 核心规则

核心规则定义于 ABNF 标准中；

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-QJxLwBcy-1641344854000)(//upload-images.jianshu.io/upload_images/3987507-af9c6e2a5d6d922b.png?imageMogr2/auto-orient/strip|imageView2/2/w/1096/format/webp)]

核心规则.png