bnf语法

最新推荐文章于 2024-04-10 14:46:03 发布

fqg05

最新推荐文章于 2024-04-10 14:46:03 发布

阅读量1.2k

点赞数

分类专栏： bnf 文档文章标签： java 数据库

本文链接：https://blog.csdn.net/fqg05/article/details/84608990

版权

文档同时被 2 个专栏收录

14 篇文章 0 订阅

订阅专栏

bnf

0 篇文章 0 订阅

订阅专栏

　　在双引号中的字("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

    l ?：意思是操作符左边的符号（或括号中的一组符号）是可选项（可以出现0到多次）。
          l *：是指可以重复多次。
          l +：是指可以出现多次。

参考http://cuiwww.unige.ch/db-research/Enseignement/analyseinfo/JAVA/BNFindex.html