BNF的使用及示例

本文详细介绍了巴科斯范式(BNF)及其扩展版本Augmented BNF(ABNF)在定义编程语言语法规则中的应用。从BNF的起源到其在现代编程语言书籍中的普遍使用,再到ABNF的改进,文章全面覆盖了这一主题。同时,通过具体的BNF示例,如Java的For语句和Oracle packages的定义,以及ABNF的特性展示,加深了读者对BNF的理解。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

BNF & Augmented BNF
巴科斯范式
确切地说,早在UNESCO(联合国教科文组织)关于ALGOL 58的会议上提出的一篇报告中,Backus就引入了大部分BNF符号。虽然没有什么人读过这篇报告,但是在Peter Naur读这篇报告时,他发现Backus对ALGOL 58的解释方式和他的解释方式有一些不同之处,这使他感到很惊奇。首次设计ALGOL的所有参与者都开始发现了他的解释方式的一些弱点,所以他决定对于以后版本的ALGOL应该以一种类似的形式进行描述,以让所有参与者明白他们在对什么达成一致意见。他做了少量修改,使其几乎可以通用,在设计ALGOL 60的会议上他为ALGOL 60草拟了自己的BNF。看你如何看待是谁发明了BNF了,或者认为是Backus在1959年发明的,或者认为是Naur在1960年中发明。(关于那个时期编程语言历史的更多细节,参见1978年8月,《Communications of the ACM(美国计算机学会通讯)》,第21卷,第8期中介绍Backus获图灵奖的文章。这个注释是由来自Los Alamos Natl.实验室的William B. Clodius建议的)。
现在,几乎每一位新编程语言书籍的作者都使用巴科斯范式来定义编程语言的语法规则。
巴科斯范式的内容
在双引号中的字("word")代表着这些字符本身。而double_quote用来代表双引号。
在双引号外的字(有可能有下划线)代表着语法部分。
尖括号( < > )内包含的为必选项。
方括号( [ ] )内包含的为可选项。
大括号( { } )内包含的为可重复0至无数次的项。
括号 () 表示分组的意思
竖线( | )表示在其左右两边任选一项,相当于"OR"的意思。
::= 是“被定义为”的意思。
巴科斯范式示例
这是用BNF来定义的Java语言中的For语句的实例:
FOR_STATEMENT ::=
"for" "(" ( (variable_declaration ";") |
( expression ";" ) | ";" )
[ expression ] ";"
[ expression ]
")" statement
这是Oracle packages的BNF定义:
package_body ::= "package" package_name "is"
package_obj_body
[ "begin" seq_of_statements ]
"end" [ package_name ] ";"
package_obj_body ::= variable_declaration
| subtype_declaration
| cursor_declaration
| cursor_body
| exception_declaration
| record_declaration
| plsql_table_declaration
| procedure_body
| function_body
procedure_body ::= "procedure" procedure_name
[ "(" argument { "," argument } ")" ]
"return" return_type
"is"
[ "declare" declare_spec ";" { declare_spec ";" } ]
"begin"
seq_of_statements
[ "exception" exception_handler ]
"end" [ procedure_name ] ";"
statement ::= comment
| assignment_statement
| exit_statement
| goto_statement
| if_statement
| loop_statement
| null_statement
| raise_statement
| return_statement
| sql_statement
| plsql_block
这是用BNF来定义的BNF本身的例子:
syntax ::=
rule ::= identifier "::=" expression
expression ::= term { "|" term }
term ::= factor
factor ::= identifier |
quoted_symbol |
"(" expression ")" |
"[" expression "]" |
"{" expression "}"
identifier ::= letter { letter | digit }
quoted_symbol ::= """ """
扩展的巴科斯范式 Augmented BNF
RFC2234 定义了扩展的巴科斯范式(ABNF)。近年来在Internet的定义中ABNF被广泛使用。ABNF做了更多的改进,比如说,在ABNF中,尖括号不再需要。

BNF范式查看器

BNF语法说明:https://www.ietf.org/rfc/rfc2234.txt   

https://www.cnblogs.com/benhuan/archive/2012/12/28/3302090.html

https://sourceforge.net/projects/neurotranslator/

https://www.downloadcollection.com/freeware/xbnf-syntax.htm

bnf 语法示例: mp3.bnf:

#BNF+IAT 1.0 UTF-8;
!grammar spdemp3;
!slot <mp3cont>;
!slot <mp3Pre>;
!slot <mp3Phone>;
!slot <mp3To>;
!slot <mp3Next>;
!start <mp3Start>;
<mp3Start>:[<mp3Pre>][<mp3To>]<mp3cont><mp3Next>[<mp3Phone>]|[<mp3Pre>][<mp3Phone>][<mp3To>]<mp3cont>[<mp3Next>];
<mp3cont>:杨钰莹;
<mp3Pre>:我要|我想|我想要;
<mp3Phone>:听;
<mp3To>:播放;
<mp3Next>:的歌|歌曲|这首;

我也尝试着用python来调用BNF,然后在C++里面直接调用这个python函数。因为也有一个http://arran.fi.muni.cz/bnfparser2/#symbol 这个 bnfparser2这个工具,好像也可以用来解析BNF,但是一直编译库不成功。

https://pythonhosted.org/pyrser/ -- 用这个库看看能否成功

 

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值