2. La structuration des textes
La notion de lien symbolique introduit de façon naturelle celle de recherche de symbole, qui elle-même induit celle de contexte d'évaluation. Ce dernier correspond à l'état dans lequel on est placé au moment où l'on veut évaluer un lien symbolique, sur la forme évaluée du « texte troué ».
Pour définir ce contexte d'évaluation, on commence par donner une structure aux textes manipulés : on introduit alors la notion d'environnement des définitions. Un texte se définit alors par deux valeurs :
- une valeur d'environnement : on y trouve des définitions de textes nommés ;
- une valeur de représentation : c'est la valeur textuelle du texte, autrement dit le « texte troué ».
Evaluation de l'environnement des définitions
Parce que le choix a paru naturel, on s'inspire des langages à structure de blocs pour construire le contexte d'évaluation : à l'évaluation d'un texte, on place, en priorité dans le contexte d'évaluation, l'environnement des définitions de ce texte.
Exemple
dont on donne une représentation textuelle plus concise :
def txt1
env: def a
env: def u
def v
rep: ...
def b
...
rep: ...
def txt2
...
def txt3
...
On évalue par exemple le texte u dans le contexte :
