and the variables may also appear on the right-hand side
in place of a nonterminal.
Such a rule stands for a family of rules,
and the variables may also appear on the right-hand side
in place of a nonterminal.
Such a rule stands for a family of rules,