A Produção ou regra de produção em ciência da computação é uma regra de reescrita especificando a substituição de símbolos que podem ser realizados de forma recursiva para gerar novas seqüências de símbolos. Um conjunto finito de produções é o principal componente na especificação de uma gramática formal (especificamente uma gramática gerativa). Os outros componentes são um conjunto finito de símbolo não terminal s, um conjunto finito (conhecido como um alfabeto) de símbolos terminais s que é  disjuntos de e um símbolo distinto , que é o símbolo inicial.

Em uma gramática irrestrita, a produção é da forma , onde e são seqüências arbitrárias de terminais e não terminais porém não pode ser a string vazia. Se é a string vazia, esta é representada pelo símbolo , ou (em vez de deixar o lado direito em branco ). Então produções são da forma:

Onde é o Kleene plus operador, é o Kleene estrela operador, e denota conjunto união.