α→β表示为α∷=β
* 非
终结符用“<”和“>”括起来
* 终结符：基本符号集
* 其他
β(α1|α2…|αn)≡βα1|βα2…|βαn
{α1|α2…|αn} ul
{α1|α2…|αn}m l=0,u=m
[α] ≡ α| ε
……
在双引号外的字（有可能有下划线）代表着语法部分。
尖括号( < > )内包含的为必选项。
方括号( [ ] )内包含的为可选项。
大括号( { } )内包含的为可重复0至无数次的项。
竖线( | )表示在其左右两边任选一项，相当于"OR"的意思。
::= 是“被定义为”的意思。
巴科斯范式示例
FOR_STATEMENT ::=
"for" "(" ( variable_declaration |
( expression ";" ) | ";" )
[ expression ] ";"
[ expression ] ";"
")" statement
这是用
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 } """
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
