符号

该语言的语法使用 扩展巴科斯-诺尔范式 (EBNF) 指定

Production  = production_name "=" [ Expression ] "." .
Expression  = Alternative { "|" Alternative } .
Alternative = Term { Term } .
Term        = production_name | token [ "…" token ] | Group | Option | Repetition .
Group       = "(" Expression ")" .
Option      = "[" Expression "]" .
Repetition  = "{" Expression "}" .

产生式 是由项和以下运算符构成的表达式，优先级递增

|   alternation
()  grouping
[]  option (0 or 1 times)
{}  repetition (0 to n times)

小写产生式名称用于标识词法标记。非终结符采用驼峰式命名。词法标记用双引号 ("") 或反引号 (``) 括起来。