Production rule (source code)

= Production rule

A production rule specifies a permitted replacement during a <grammar derivation>. In a <context-free grammar> it has the form $A\to\alpha$, with one nonterminal $A$ on the left.