Transductions de forêts reconnaissables monadiques, forêts corégulières
Arnold, André ; Dauchet, Max
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 10 (1976), p. 5-28 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1976-01-01
@article{ITA_1976__10_1_5_0,
     author = {Arnold, Andr\'e and Dauchet, Max},
     title = {Transductions de for\^ets reconnaissables monadiques, for\^ets cor\'eguli\`eres},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {10},
     year = {1976},
     pages = {5-28},
     mrnumber = {416121},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1976__10_1_5_0}
}

Arnold, André; Dauchet, Max. Transductions de forêts reconnaissables monadiques, forêts corégulières. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 10 (1976) pp. 5-28. http://gdmltest.u-ga.fr/item/ITA_1976__10_1_5_0/

[1] Baker B. S., Tree transductions and families of tree languages. 5th ACM Symposium on theory of Computing (1973). | MR 464711 | Zbl 0319.68040

[2] Brainerd W. S., Tree-generating regular System. Information and Control, 14 (1969), 218-231. | MR 239875 | Zbl 0169.31601

[3] Downey P., Formal languages and recursion schemas, ph. D. dissertation Harvard University (1974).

[4] Downey P., Tree transducers and ETOL Tree Systems. Conference on formal languages, automata and development. Noordwijkerhout, The Netherlands (avril 1975).

[5] Herman G. T. et Rozenberg G., Developmental Systems and Languages. North-Holland P. C. (1975). | MR 495247 | Zbl 0306.68045

[6] Latteux M., Langages simultanés. Publication du laboratoire de calcul de Lille, n° 46 (1974).

[7] Luckham D. C., Park D. M. et Paterson M. S. On formalized computer programs. J. Comput. System Sci., 4 (1970), 220-249. | MR 275717 | Zbl 0209.18704

[8] Mezei J. et Wright J. B., Algebraic automata and context-free sets. Math Systems Theory, 4 (1970), 257-287.

[9] Rounds W. C., Mappings and grammars on trees. Math Systems Theory, 4 (1970), 257-287. | MR 269440 | Zbl 0203.30103

[10] Rozenberg G., Extensions of tabled OL-Systems and Languages. Internat. J. Comput. Information Sci, 2 (1973), 311-336. | MR 413614 | Zbl 0293.68065

[11] Thatcher J. W., Generalized2 sequential machine maps. J. Comput. System Sci., 4 (1970), 339-367. | MR 302335 | Zbl 0198.03303