the other types of formal grammar in the chomsky hierarchy impose additional restrictions on what constitutes a production. notably in a context-free grammar, the left-hand side of a production must be a single nonterminal symbol. so productions are of the form: