Geodesic
Transducteurs finis d'arbres et tests d'égalité
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981) no. 3, pp. 213-232.

Voir la notice de l'article provenant de la source Numdam

@article{ITA_1981__15_3_213_0,
     author = {Lilin, E.},
     title = {Transducteurs finis d'arbres et tests d'\'egalit\'e},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {213--232},
     publisher = {EDP-Sciences},
     volume = {15},
     number = {3},
     year = {1981},
     mrnumber = {630063},
     zbl = {0474.68091},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1981__15_3_213_0/}
}
TY  - JOUR
AU  - Lilin, E.
TI  - Transducteurs finis d'arbres et tests d'égalité
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1981
SP  - 213
EP  - 232
VL  - 15
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_1981__15_3_213_0/
LA  - fr
ID  - ITA_1981__15_3_213_0
ER  - 
%0 Journal Article
%A Lilin, E.
%T Transducteurs finis d'arbres et tests d'égalité
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1981
%P 213-232
%V 15
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1981__15_3_213_0/
%G fr
%F ITA_1981__15_3_213_0
Lilin, E. Transducteurs finis d'arbres et tests d'égalité. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981) no. 3, pp. 213-232. http://geodesic.mathdoc.fr/item/ITA_1981__15_3_213_0/

1. A. V. Aho et J. D. Ullman, Syntax Directed Translations and the Pushdow Assembler, J. Comput. System Sc., vol. 3, 1969, p. 37-56. | Zbl | MR

2. A. Arnold, Systèmes d'équations dans le magmoïde, ensembles rationnels et algébriques d'arbres, Thèse d'État, Université de Lille (1977).

3. A. Arnold et M. Dauchet, Transductions de forêts reconnaissables monadiques. Forêts corégulières R.A.I.R.O., vol. 10, 1976, p. 5-23. | MR | mathdoc-id

4. A. Arnold et M. Dauchet, Théorie des magmoïdes, R.A.I.R.O., vol. 12, p. 235-257 et R.A.I.R.O., vol. 13, p. 135-154. | Zbl | mathdoc-id

5. B. Baker, Tree Transduction and Family of Tree Languages, 5th AC.M. proc. on Theory of Computing, 1973, p. 200-206. | Zbl | MR

6. W. S. Brainerd, Tree Generating Regular Systems, Inf. and Control, vol. 14, 1969, p. 217-231. | Zbl | MR

7. M. Dauchet, Transductions de forêts. Bimorphismes de magmoïdes, Thèse d'État, Université de Lille, 1977.

8. J. Doner, Tree Acceptors and Some of Their Applications, J. Comput. System Sc., vol. 4, 1970, p. 406-451. | Zbl | MR

9. J. Engelfriet, Bottom up and Top-Down Tree Transformation, a Comparison, Math. System Theory, vol. 9, 1975, p. 198-231. | Zbl | MR

10. J. Engelfriet, Top-Down Tree Transducers with Reqular Look-Ahead, Math. System Theory, vol. 10, 1977, p. 289-303. | Zbl | MR

11. J. Engelfriet, A Hierarchy of Tree Transducers, Communication au 3e colloque de Lille sur « Les Arbres en Algèbre et Programmation », 1978. | Zbl | MR

12. E. Lilin, Une généralisation des transducteurs d'états finis d'arbres : les S-trans-transducteurs, Thèse de 3e cycle, Université de Lille, 1978.

13. M. Nivat, Transduction des langages de Chomsky, Ann. Inst. Fourrier, Grenoble, vol. 10, 1968, p. 339-455. | Zbl | MR | mathdoc-id

14. C. Pair et A. Quere, Definition et étude des bilangages réguliers, Inf. and Control, vol. 13, 1968, p. 565-593. | Zbl | MR

15. W. C. Rounds, Tree Transducers and TransformationPh. D. Dissertation Stanford University, 1968.

16. W. C. Rounds, Mapping and Grammars on Trees, Math. System Theory, vol. 4, 1970, p. 257-287. | Zbl | MR

17. J. W. Thatcher, Characterizing Derivation Trees of Context-Free Grammars Through a Generalization of Finite Automate Theory, J. Comput. System Sc, vol. 1, 1967, p. 317-322. | Zbl | MR

18. J. W. Thatcher, Generalized Sequential Machine Maps, J. Comput. System Sc., vol. 4, 1970, p. 339-367. | Zbl | MR