语法规则

命名规则

A名称，后跟一个定义列表。例如：

<规则> ::= <术语1> <术语2> | "-" <term1>;

内联规则

在定义内，括号内定义的规则。它们的行为方式与它们是被术语调用的命名规则完全相同。例如：

<规则> ::= (<内联>);

可选规则

在定义内，方括号内定义的规则。即使内容失败，此规则也会成功。例如：

<规则> ::= [<内联>];

重复规则

在定义中，一个术语后跟一个加号。此规则匹配内部规则一次或多次。例如：

<规则> ::= <内联>+;

规则 ::= (<term1> <term2>)+;

可选的重复规则

在定义中，规则后跟一个星号。此规则与内部规则匹配零次或多次，这意味着即使内部规则从未成功，它也会成功。例如：

<规则> ::= <内联>*;

规则 ::= (<term1> <term2>)*;