Bifurcar

Consta de cero o más fragmentos combinados.

Sintaxis

branch :: = piece*

En la tabla siguiente se muestran ramas válidas R y su conjunto de cadenas L(R).

Ramas válidas R de todos los fragmentos S y ramas T	Conjunto de cadenas L(R)
S	Todas las cadenas de L(S).
ST	Todas las cadenas ST con S en L(S) y T en L(T).