Forma normal

Em sistemas de reescrita de termos, dizemos que um termo está na forma normal se não é possível aplicar nenhuma regra do sistema que o reescreva em outro termo.

A partir deste conceito, podemos estudar sistemas de reescrita de termos quanto as características dos seus termos com a relação as formas normais.