Systèmes de Réécriture

Forme normale

Expression qui ne peut plus être réécrite par aucune règle du système. L'atteinte d'une forme normale garantit la terminaison du processus de réécriture pour ce terme spécifique.

← Back