Normalisation Forte

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La propriété d’un système de réduction (réécriture ou calcul) selon laquelle toute suite de réductions possible, partant de n’importe quel terme, est finie ; en d’autres termes, aucun terme n’admet de chaîne infinie de réductions et chaque terme atteint donc une forme normale.