Sistema de redução
De Wikipedia, a enciclopédia encyclopedia
Em matemática um sistema de redução é um sistema onde termos podem ser reescritos usando uma lista finita, ou infinita, de regras de reescrita
Exemplos de sistemas de redução incluem sistemas de reescrita de cadeias de caractere, sistemas de reescrita de termos, cálculo lambda sob conversão lambda e sistemas de redução combinatória.
Quando nenhuma regra de redução pode ser aplicada para uma determinada expressão, é dito que esta está na Forma Normal.