In computer science, a production or production rule is a rewrite rule that replaces some symbols with other symbols. A finite set of productions is the main component in the specification of a formal grammar (specifically a generative grammar).

In such grammars, a set of productions is a special case of relation on the set of