Terminaison d'un système de réécriture
De Wikipedia, l'encyclopédie encyclopedia
La terminaison d'un système de réécriture porte sur un système de réécriture abstrait et affirme que toute chaîne de réduction de termes de la forme est finie. Elle est souvent présentée en disant qu'il n'y a aucune chaîne de réduction infinie.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?