Prolog infinite trees and automata
Coupet-Grimal, Solange
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991), p. 397-418 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1991-01-01
@article{ITA_1991__25_5_397_0,
     author = {Coupet-Grimal, Solange},
     title = {Prolog infinite trees and automata},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {25},
     year = {1991},
     pages = {397-418},
     mrnumber = {1144006},
     zbl = {0764.68087},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1991__25_5_397_0}
}

Coupet-Grimal, Solange. Prolog infinite trees and automata. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) pp. 397-418. http://gdmltest.u-ga.fr/item/ITA_1991__25_5_397_0/

1. A. V. Aho, J. D. Ullman, The theory of parsing, translation and compiling, Prentice Hall, series in automatic computation.

2. G. Berry, R. Sethi, From regular expressions to deterministic automata (note), Theoret. Comput. Sci., 1986, 48 : 1, pp. 117-126. | MR 889664 | Zbl 0626.68043

3. J. A. Brzozowski, Derivatives of regular expressions, J. A.C.M., 1964, 11 : 4, pp. 481-494. | MR 174434 | Zbl 0225.94044

4. J. M. Champarnaud, Automate : un système de manipulation des automates finis, Rapport interne 85-48, LITP, Université Paris VII, 1985.

5. J. Cohen, F. Giannesini, Parser generation and grammar manipulations using Prolog's infinite trees, Logic Programming, octobre 1984, pp. 253-265. | Zbl 0575.68087

6. J. Cohen, T. J. Hickey, Parsing and compiling using prolog, A.C.M. Trans. Progr. Lang. Systems, 1987, 9 : 2, pp. 125-163.

7. A. Colmerauer, Prolog and Infinite Trees, Logic Programming, W. K. CLARK, S. A. TARNLUND Ed.), Academic Press, New York, 1982, pp. 231-251.

8. A. Colmerauer, Introduction to Prolog III, Esprit 87-Archivement and Impact Proceedings of the 4th Annual Esprit Conference, 1987, 1 : 1, Bruxelles.

9. S. Coupet-Grimal, Deux arguments pour les arbres infinis en Prolog, Thèse d'université, Université Aix-Marseille-II, 1988.

10. B. Courcelle, Fundamental properties of infinite tees, Theor. Comput. Sci., 1985, 25, pp. 95-169. | MR 693076 | Zbl 0521.68013

11. G. Cousineau, Les arbres à feuilles indicées: un cadre algébrique pour l'étude des structures de contrôle, Thèse d'état, Université de Paris-VII, 1977.

12. E. Leiss, Regpack, an interactive package for regular languages and finite automata, Research report CS-77-32, Université de Waterloo, octobre 1977.

13. R. Mcnaughton, H. Yamada, Regular expressions and state graphs for automata, I.R.E.E. Trans. Comput., 1960, EC-9:1, pp. 38-47. | Zbl 0156.25501

14. M. Nivat, Langages algébriques sur le magma libre et sémantique des schémas de programmes, in automata, languages and programming, M. NIVAT Ed., Amsterdam, 1973. | MR 383813

15. J. F. Pique, Drawing trees and their equations in Prolog, Proceedings of the second international logic programming conference, Uppsala University, 1984.

16. K. Thomson, Regular expression search algorithm, Comm. A.C.M., 1968, 11 : 6, pp. 419-422. | Zbl 0164.46205