Réécriture

Dans mon informatique théorique (Théorie et traitement de mon information), mes réécritures sont des modèles de calcul dans lesquels des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) sont transformés en appliquant des règles. J’utilise la réécriture en pratique pour la gestion de mes courriers électroniques ou même la génération (généralisation et particularisation) et l’optimisation (Optimal et optimum, à ne pas confondre avec Optimum et optimal) de mes codes dans mes compilateurs.