1 Introduction   1.4 Definitions   1.4.1 Notational Conventions   1.4.1.2 Modified BNF Syntax

1.4.1.2.2 Indirection in Modified BNF Syntax

O

If O is a non-terminal symbol, the right-hand side of its definition is substituted for the entire expression O. For example, the following BNF is equivalent to the BNF in the previous example:

(x [[O]] y) O::= A | B^* | C