next up previous contents
Next: La pré-interprétation Up: Outils formels de manipulation Previous: Contrainte de l'afférence pure

Conclusion

Nous avons établi ici quelques opérateurs fort utiles pour la suite de notre présentation. Nous verrons par la suite d'autres opérateurs du même type, mais quoiqu'il en soit ceux-ci nous suffisent pour l'instant pour décrire la phase de mise en place de la structure, ce que nous allons développer maintenant. Nous commencerons par décrire la notion de pré-interprétation, afin d'expliciter les données sur lesquelles nous travaillerons.



Ludovic TANGUY
Fri Dec 5 17:36:15 MET 1997