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 (''Optimum et optimal'') de mes codes dans mes compilateurs.