BNF是为了描述ALGOL 60语言而出现的。
http://www.blog.edu.cn/user1/18646/archives/2005/139037.shtml
巴科斯范式及其扩展
BNF & Augmented BNF
什么是巴科斯范式? 巴科斯范式(BNF: Backus-Naur Form 的缩写)是由 John Backus 和 Peter Naur 首先引入的用来描述计算机语言语法的符号集。 现在,几乎每一位新编程语言书籍的作者都使用巴科斯范式来定义编程语言的语法规则。
巴科斯范式的内容
在双引号中的字("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 { 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 { 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 } rule ::= identifier "::=" expression expression ::= term { "|" term } term ::= factor { factor } factor ::= identifier | quoted_symbol | "(" expression ")" | "[" expression "]" | "{" expression "}" identifier ::= letter { letter | digit } quoted_symbol ::= """ { any_character } """
|
扩展的巴科斯范式 Augmented BNF
RFC2234 定义了扩展的巴科斯范式(ABNF)。近年来在Internet的定义中ABNF被广泛使用。ABNF做了更多的改进,比如说,在ABNF中,尖括号不再需要。 rfc2234: http://www.rfc-editor.org/cgi-bin/rfcdoctype.pl?loc=RFC&letsgo=2234&type=ftp&file_format=txt
更多资源: http://www-128.ibm.com/developerworks/cn/java/j-diag/part19/index.html
-
W3C 就有关 使用 BNF 符号提供了八种符号约定。
<!--[if !supportLineBreakNewLine]--> <!--[endif]-->
-
可以在这里找到关于 BNF 符号的简史和介绍。
<!--[if !supportLineBreakNewLine]--> <!--[endif]-->
-
有关 BNF 的更多信息,请参阅这个 扩展 BNF 符号的列表。
What is BNF notation?
http://cui.unige.ch/db-research/Enseignement/analyseinfo/AboutBNF.html#Marcotty86 (包括BNF的历史和较早的文献)
answers.com上的介绍:
http://www.answers.com/topic/backus-naur-form-3
有很多有意义的文献:
One syntax for specifying BNF grammars can be found in RFC 2234. Another can be found in the ISO 14977 standard.
相当简洁,全面的BNF,EBNF定义(!!!!):
http://www-cgi.uni-regensburg.de/~brf09510/backus_naur_wirth.html <!--[if !supportLineBreakNewLine]--> <!--[endif]-->
EBNF的国际标准ISO 14977
http://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf
BNF多个版本的比较
http://www-cgi.uni-regensburg.de/~brf09510/grammartypes.html
Augmented BNF for Syntax Specifications: ABNF
ftp://ftp.rfc-editor.org/in-notes/rfc4234.txt
|
相关推荐
编译原理 c-语言巴克斯范式 编译原理 巴克斯范式 c-语言 消除左递归 消除公共前缀
多年来,巴克斯范式(BNF)的一个修订版,即扩展巴克斯范式(ABNF),已经在许多互 联网规范中流行。该版本平衡了压缩性和简单性,具有合理的表达能力。在早期的ARPA网 络中,每个规范都包含了自己的一个扩展...
常用的语法描述语言,某些情况下(例如:boost/sprit),可以用于编写语法解析器 例如:自己写一个c++函数识别程序,自动匹配函数名以及参数,用于写单元测试程序有可能会用到语法识别。
RFC2234(SIP遵循的BNF范式) ...4. 扩展巴克斯范式形式的扩展巴克斯范式定义 7 5. 安全考虑 7 6. 附录A-核心 8 6.1 核心规则 8 6.2 公共编码 9 7. 致谢 9 8. 参考 9 9. 作者地址 9 10. 完整版权声明 10
【实验目的】 1.掌握用递归下降分析法进行语法分析的方法。加深对自顶向下语法分析原理的理解。 2.掌握设计、编制并调试自顶向下语法分析程序的思想和方法。...已知表达式文法的扩充巴克斯范式为 S->E#
PL/0语言的BNF描述(扩充的巴克斯范式表示法)
引入合作规划表达式给出基于扩展巴克斯范式(EBNF)个体agent的3APL语法。利用推理规则、结构结合变换规则等概念提出新的多agent合作操作语义。并深入研究多agent合作慎思循环过程,通过例子说明了多agent间如何合作...
针对带有优先级的扩展巴克斯范式(EBNF),普通的语法分析技术很难适用于该文法的问题,给出了扩展文法的形式定义,提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法,并给出转换的正确性证明,该算法在ATLAS...
在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器。通过执行语义动作,就可以进行类型检查、中间代码生成及优化等...
基于SPICE的计算机仿真方法在混合信号电路...结合混合自动机对PSL进行了基于混合自动机语义特点的扩展,使用巴克斯—诺尔范式对其拓展后语法进行规范,提出具有描述混合信号电路行为特性的HAPSL(hybrid automata-base