Réécriture : Différence entre versions
Sauter à la navigation
Sauter à la recherche
(Page créée avec « 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, pr… ») |
|||
| Ligne 1 : | Ligne 1 : | ||
| − | 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 | + | 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. |
Version du 20 août 2023 à 12:35
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.
