扩充巴科斯-瑙尔范式 ABNF简介

扩充巴科斯-瑙尔范式(ABNF)是一种基于巴科斯-瑙尔范式(BNF)的元语言,但它有自己的语法和派生规则。ABNF的原动原则是描述一种作为双向通信协议的语言。

ABNF是由第68号互联网标准("STD 68",大小写样式按照原文)定义的,也就是 RFC 5234,经常用于互联网工程任务组(IETF)通信协议的定义语言。RFC 5234 取代了 RFC 4234(取代了 RFC 2234 http://oss.org.cn/man/develop/rfc/RFC2234.txt).

有关它的用途, gRPC的协议定义就是用它书写的。 https://github.com/grpc/grpc-common/blob/master/PROTOCOL-HTTP2.md

有关它的定义请参考:

http://tools.ietf.org/html/rfc5234  英文

http://blog.csdn.net/gjgsoft/article/details/7741304

规则定义与字符

规则定义:

rule = definition ;comment

一条语句以回车换行结束。其中rule为规则名,大小写不敏感;definition为规则的具体定义;  ‘;‘后作为注释

定义字符

语法:%<进制><具体数字>
<进制>有二进制,十进制,十六进制,分别表示为 b,d,x;
例子:       CR=%d13
                CR=%x0D
也可以用 空格或 ‘.‘ 连接多个字符:
                rulename    =  %d97 %d98 %d99
等价于       rulename    =  %d97.98.99
最终效果相当于"abc"

定义字符串

字符串用双引号包括。
         command     =  "command string"

注意:扩展巴克斯范式字符串大小写不敏感,并且这些串的字符集使用us-ascii字符集。

因此:

rulename = "abc"

以及:

rulename = "aBc"

将与“abc”,“Abc”,“aBc”,“abC”,“ABc”,“aBC”,“AbC”和“ABC”相匹配。

为了说明某个规则是大小写敏感的,请单独说明该规则使用的字符。

例如:

rulename    =  %d97 %d98 %d99

rulename    =  %d97.98.99

将仅与只由小写字符abc组成的串匹配。

;注释

分号起始一行注释直到行末。这是一个简单的方法,用于在说明中平行地包括有用的注解。

运算符

相加

rule=rule1 rule2; 规则相加

foo         =  %x61           ; a
         bar         =  %x62           ; b
         mumble      =  foo bar foo    ;mumble最终效果aba

选择(或)

规则1 / 规则2
由斜杠(“/”)分隔的元素是可选的。
因此,  foo / bar
将接受<foo>或<bar>。

不定循环

*Rule
在元素前的操作符“*”表示重复。完整形式为:
        <a>*<b>element
此处<a>和<b>是可选的十进制值,表示元素出现至少<a>次,至多<b>次。
默认值是0和无穷,因此 *<element>允许任何数字,包括0;1*<element>需要至少1;
3*3<element>只允许3而1*2<element>允许1或2。
 

可选序列

[RULE]
方括弧包括了一个可选元素序列:
        [foo bar]
等同于
        *1(foo bar).
可以出现,也可以不出现.
 

()组合规则

在()内的规则。对()外的规则来说,()内的规则被当作单独的规则对待。
         (foo / bar) blat
         效果相当于 foo blat / bar blat

 
参考资料:

ABNF(巴克斯范式)语法总结--根据RFC5234
http://blog.csdn.net/gjgsoft/article/details/7741304

 
 
时间: 2024-07-30 04:12:31

扩充巴科斯-瑙尔范式 ABNF简介的相关文章

BNF 和 ABNF 扩充巴科斯范式 了解

BNF 巴科斯范式(BNF: Backus-Naur Form 的缩写)是由 John Backus 和 Peter Naur 首先引入的用来描述计算机语言语法的符号集.现在,几乎每一位新编程语言书籍的作者都使用巴科斯范式来定义编程语言的语法规则. 在BNF中,双引号中的字("word")代表着这些字符本身.而double_quote用来代表双引号. 在双引号外的字(有可能有下划线)代表着语法部分. < > : 内包含的为必选项. [ ] : 内包含的为可选项. { } :

扩充巴科斯范式(ABNF)

BNF:巴科斯范式ABNF(Augmented Backus-Naur Form):扩充巴科斯范式 ABNF是由第68号互联网标准(”STD 68″,大小写样式按照原文)定义的,也就是 RFC 5234,经常用于互联网工程任务组(IETF)通信协议的定义语言.RFC 5234 取代了 RFC 4234(取代了 RFC 2234). 学习ABNF:ABNF规则的介绍 获取RFC对应的ABNF文件:在 这里 输入RFC number就可以获得该RFC对应的ABNF文件了. ABNF Parser G

BNF范式(巴科斯范式)简介

BNF 规定是推导规则(产生式)的集合,写为: <符号> ::= <使用符号的表达式> 这里的 <符号> 是非终结符,而表达式由一个符号序列,或用指示选择的竖杠'|' 分隔的多个符号序列构成,每个符号序列整体都是左端的符号的一种可能的替代.从未在左端出现的符号叫做终结符. 基本原理      BNF类似一种数学游戏:从一个符号开始(叫做起始标志,实例中常用S表示),然后给出替换前面符号的规则.BNF语法定义的语言只不过是一个字符串集合,你可以按照下述规则书写,这些规则叫

巴科斯范式和sql语言

查询Mysql帮助文档,如何写SQL语句的时候,需要注意SQL语法,这里就需要知道BNF巴科斯范式. 巴科斯范式:BNF用于描述计算机语言.基本的规则如下: 尖括号<> 内包含的为必选项. 方括号[]   内包含的为可选项. 大括号{}  内包含的为可重复0至无数次的项. 竖线|       表示在其左右两边任选一项,相当于"OR"的意思. ::=         是被定义为的意思. Mysql的语法基本符合巴科斯范式,但有一些不同,如下: {} 表示必选项, ,... 表

触手不及(巴科斯范式求表达式树)

本题为学军神犇 cxt 出的神题. 题意 为了避免流露出自己的感情伤害别人, 小 M.M.T. 决定通过一个表达式来传递心意. 给出一个等式. 等式左边是一个 \(int\) 范围内的数, 等式右边是一个合法的 c++ 表达式. 例如:\(233 = 66 ? 4 ? 31\) 保证等式右边只包含数字 \(x (x ∈ [0, p),p\) 是给定的质数\()\), 加号, 减号, 乘号, 除号, 左右括号. 保证等式中没有任何空格,tab 等不可见字符. 而且保证合法. 但是遗憾的是, 因为一

数据库---视图,触发器,事务,存储过程 ,函数,流程控制, 索引与慢查询优化,测试索引,数据库三范式(简介)

视图 1.什么是视图 ? 视图就是通过查询得到一张虚拟表,然后保存下来,下次直接使用即可 2.为什么要用视图 ? 如果要频繁使用一张虚拟表,可以不用重复查询 3.如何用视图 create view teacher2course as select * from teacher inner join course on teacher.tid = course.teacher_id; 强调 1.在硬盘中,视图只有表结构文件,没有表数据文件 2.视图通常是用于查询,尽量不要修改视图中的数据 drop

2014-11-2 NOIP模拟赛1

Noip2009 团结模拟赛如题目理解困难,请自行阅读或参考样例.内存限制均为 256MB,时间限制均为 1s.出题人不会 故意 在题目中设置陷阱,但请自己注意程序的正确性.IO 文件名(.in/.out)与程序名(题目名)相同.对于所有语言均不使用优化选项.对于 Pascal 选手,打开-Ct –Cr –Ci –Co 四个编译开关.祝各位答题顺利,谢谢. LazyChild 黑 OJ (blackoj.pas/c/cpp) LazyChild 开了一家“善良 OJ” .但大多数人都不知道,这其

php语法分析

php的语法分析的主要作用是验证词法分析的基础上将token组成的序列,在php这门语言中是否是一个有效的句子,也可以理解为这些token序列是否匹配设计php这门语言时的语法模型,在匹配的情况下构建具体的程序(组建opcode),以供编译后期使用. 比如:在设计php语言时,需要设计一套语法规则,通过使用上下文无关方法(主要使用BNF(巴斯科-瑙尔范式)表示法来描述),关于BNF(巴简直斯范式),请猛戳 这里 ,另外 这篇 文章也不错 比如在有一个功能:我需要打印一些东西,这里主要是echo,

你是如何成为 Lisp 程序员的(转)

我成为 Lisp 程序员的道路曲折而漫长.我曾于 2007 年 10 月 3 日在自己的日记中总结了自己的学习经历,现抄录于此. 最早在 2000 年 5 月,斯托曼院士访华时告诉我,Lisp (或者它的现代变种 Scheme)是功能最强大的编程语言,他本人就是一位高级的 Lisp 程序员,他还精通 C,GNU Emacs 就是采用 C 和 Lisp 两者开发的.我当时已经掌握了 C,但不会用 Lisp,但是我完全相信他说的都是真的.于是,一心想成为编程高手的我,决定学习和掌握这门编程语言.我从