符号

该语言的语法使用 扩展巴科斯-诺尔形式 (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 "}" .

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

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

小写的生产名称用于识别词法符号。 非终结符使用 驼峰命名法。 词法符号用双引号 ("") 或反引号 () 包围。