Réécriture : Différence entre versions
Sauter à la navigation
Sauter à la recherche
| 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]]'') 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]]'') de mes codes dans mes compilateurs. |
Version du 20 août 2023 à 14:37
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) de mes codes dans mes compilateurs.
