Normalización Fuerte

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La propiedad de un sistema de reducción (reescritura o cálculo) según la cual toda secuencia de reducción posible que parte de cualquier término es finita; equivalentemente, ningún término admite una cadena infinita de reducciones y por tanto alcanza una forma normal.