分支

由零个或多个片断组合而成。

语法

branch :: = piece*

下表说明有效的分支 R 及其 L(R) 字符串集。

所有片断 S 和分支 T 的有效分支 R	L(R) 字符串集
S	L(S) 中的所有字符串。
ST	具有 L(S) 中的 S 和 L(T) 中的 T 的所有字符串 ST。