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

绝地灬酷狼 2022-08-13 17:57 94阅读 0赞

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

看完百科，感觉当下的好多语法（我所认知的语言中）语义结构都遵循它的规则定义，比如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 } """

[http_pan.baidu.com_s_1kTrAyHL]: http://pan.baidu.com/s/1kTrAyHL
[-]: http://baike.baidu.com/item/%E5%B7%B4%E7%A7%91%E6%96%AF%E8%8C%83%E5%BC%8F?from_id=9540949&type=syn&fromtitle=BNF%E8%8C%83%E5%BC%8F&fr=aladdin
[Link 1]: http://zh.wikipedia.org/wiki/%E5%B7%B4%E7%A7%91%E6%96%AF%E8%8C%83%E5%BC%8F