in an unrestricted grammar, a production is of the form formula_6 where formula_7 and formula_8 are arbitrary strings of terminals and nonterminals however formula_7 may not be the empty string. if formula_8 is the empty string, this is denoted by the symbol formula_11, or formula_12 (rather than leave the right-hand side blank). so productions are members of the cartesian product