Systèmes de Réécriture

Terminaison

Propriété d'un système de réécriture garantissant qu'aucune séquence infinie de réécritures n'est possible. Condition nécessaire pour l'existence d'algorithmes de décision et de procédures de calcul effectives.

← رجوع