production (270B)
1 # Production 2 3 A pair of [proto_words]: expresses that the [LHS] can be rewritten to the [RHS] 4 5 - For [CFGs], the [LHS] is always a [nonterminal] 6 - For [noncontracting_grammars], the [RHS] must be at least as long as the [LHS] 7 8 Up: [formal_grammar] 9 10 Aliases: productions