使用扩展巴科斯-瑙尔范式(EBNF, Extended Backus–Naur Form)说明语法:
产生式 = 产生式名称 "=" [ 表达式 ] "." .
表达式 = 分隔符 { "|" 分隔符 } .
分隔符 = 术语 { 术语 } .
术语 = 产生式名称 | 标记符号 [ "…" 标记符号 ] | 分组 | 可选项 | 重复项 .
分组 = "(" 表达式 ")" .
可选项 = "[" 表达式 "]" .
重复项 = "{" 表达式 "}" .
production 产生式是由 term 术语和以下操作符所构成的表达式,优先级递增:
| 分隔
() 分组
[] 可选项,0 或 1 次
{} 重复项,0 到 n 次
小写产生式名称用于标识词法标记,非终结符使用驼峰命名法,词法标记使用双引号 ""
或反引号 ``` 括起来。<br />
a…b形式表示从 a 到 b 的一组可选字符,水平省略号
…也用于规范中其他地方,以非正式地表示未进一步指定的各种枚举或代码片段。字符
…(注意不是 3 个点字符
…`)不是 Go 语言的标记符号。