Réécriture : Différence entre versions
Sauter à la navigation
Sauter à la recherche
| (Une révision intermédiaire par le même utilisateur non affichée) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | 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. | + | 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. |
Version actuelle datée du 21 août 2023 à 12:44
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.
