Réécriture

En théorique (Théorie et traitement de mon information), la réécriture est un modèle de calcul dans lequel 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.