The start productions of the grammar, which must be of the form
H ::= m E, where:
H is the name of a nonterminal
in the "host" grammar;m is the name of
markingTerminal; and E is this
grammar's start symbol.
The start production should not be placed in the
grammar's list of productions.