巴科斯范式(BNF)

2010/04/27 15:04
阅读数 1K
什么是 巴科斯范式(BNF) , 是一种用形式化符号来描述给定语言的语法。

现在,几乎每一位新编程语言书籍的作者都使用巴科斯范式来定义编程语言的语法规则。
-----------------------------------------------------------------------------
巴科斯范式的内容
在双引号中的字("word")代表着这些字符本身。而double_quote用来代表双引 号。
在双引号外的字(有可能有下划线)代表着语法部分。
尖括号( < > )内包含的为必选项。
方括号( [ ] )内包含的为可选项。
大括号( { } )内包含的为可重复0至无数次的项。
竖线( | )表示在其左右两边任选一项,相当于"OR"的意思。
::= 是“被定义为”的意思。
巴科斯范式示例
这是用BNF来定义的Java语言中的For语句的实例:
FOR_STATEMENT ::=
"for" "(" ( variable_declaration |
( expression ";" ) | ";" )
[ expression ] ";"
[ expression ] ";"
")" statement

详细内容:请参考百度百科之 巴科斯范式(BNF) 阅读全文
类别: 编程日记  查看评论
展开阅读全文
加载中
点击引领话题📣 发布并加入讨论🔥
打赏
0 评论
0 收藏
0
分享
返回顶部
顶部