巴克斯-诺尔范式语法说明

最新推荐文章于 2021-02-13 00:05:25 发布

joyhen

最新推荐文章于 2021-02-13 00:05:25 发布

阅读量5k

点赞数 1

分类专栏： Programming Languages 文章标签：巴克斯-诺尔范式

本文链接：https://blog.youkuaiyun.com/Joyhen/article/details/40950731

版权

Programming Languages 专栏收录该内容

0 篇文章

订阅专栏

本文介绍了巴克斯-诺尔范式（BNF），一种用于描述编程语言语法的形式规范。通过阅读《Programming Languages and Lambda Calculi》一书，作者发现许多常见编程语言如SQL、JavaScript、C#和Java的语法规则都遵循BNF。书中摘录揭示了BNF如何定义语言的语义结构。

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

今天在看《Programming Languages and Lambda Calculi》一书（下载地址：http://pan.baidu.com/s/1kTrAyHL）时一个缩写的英文（BNF）不知其意，随百度了下，巴克斯-诺尔范式,有兴趣的可以戳维基百科

看完百科，感觉当下的好多语法（我所认知的语言中）语义结构都遵循它的规则定义，比如sql，js，c#，java，下面是一些摘录：

在双引号中的字("word")代表着这些字符本身。而double_quote用来代表双引号。
在双引号外的字（有可能有下划线）代表着语法部分。
尖括号( < > )内包含的为必选项。
方括号( [ ] )内包含的为可选项。
大括号( { } )内包含的为可重复0至无数次的项。
竖线( | )表示在其左右两边任选一项，相当于"OR"的意思。
::= 是“被定义为”的意思。
巴科斯范式示例
下面是用BNF来定义的Java语言中的For语句的实例：
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 } """