Systèmes de Réécriture

Confluence

Propriété garantissant que différents chemins de réécriture à partir d'un même terme convergent vers une forme normale unique. Essentielle pour assurer le déterminisme des calculs et la cohérence des résultats.

← رجوع