Une double hiérarchie infinie de langages vérifiables
Rodriguez, François
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975), p. 5-19 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1975-01-01
@article{ITA_1975__9_1_5_0,
     author = {Rodriguez, Fran\c cois},
     title = {Une double hi\'erarchie infinie de langages v\'erifiables},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {9},
     year = {1975},
     pages = {5-19},
     mrnumber = {418523},
     zbl = {0352.68088},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1975__9_1_5_0}
}

Rodriguez, François. Une double hiérarchie infinie de langages vérifiables. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975) pp. 5-19. http://gdmltest.u-ga.fr/item/ITA_1975__9_1_5_0/

[1] L. Boasson et M. Nivat, Sur diverses familles de langages fermées par transduction rationnelle Acta Informatica 2 (1973), 180-188. | Zbl 0242.68037

[2] J.-P. Crestin, Langages quasi-rationnels, in Actes de l'École de Printemps sur la Théorie des langages algébriques, Bonascre, 1973, à paraître chez Gauthier-Villars. | Zbl 0406.68056

[3] S. Ginsburg, S. Greibach and M. Harrison, Stack Automata and Compiling, J. Assoc. Comput. Mach., 14, (1967), p. 172-201. | Zbl 0153.01101

[4]S. Ginsburg, S. Greibach and M. Harrison, One-Way Stack Automata, J. Assoc. Comput. Mach., 14, (1967), p. 389-418. | Zbl 0171.14803

[5] S. Greibach, An Infinite Hierarchy of Context-free Languages, J. Assoc. Comput. Mach., 16, (1969), p. 91-106. | Zbl 0182.02002

[6] S. Greibach, Checking Automata and One-Way Stack Languages, J. Comput. System Sci., 3, (1969), p. 196-217. | Zbl 0174.02702

[7] M. Harrison and M. Schkolnick, A Grammatical Characterisation One-Way Nondeterministic Stack Languages, J. Assoc. Comput. Mach., 18, (1971), p. 148-172. | Zbl 0274.68020

[8] M. Nivat, Opérateurs sur des familles de langages, in Actes de l'École de Printemps sur la théorie des langages algébriques, Bonascre, 1973, à paraître chez Gauthier-Villars. | Zbl 0399.68073

[9] W. F. Ogden, Intercalation Theorems for Pushdown Store and Stack Languages, Ph. D. Thesis, Stanford, 1968.

[10] J. Riordan, An Introduction to Combinatorial Analysis, Wiley, New York, 1958. | Zbl 0078.00805

[11] F. Rodriguez, Cônes d'Accepteurs-Application à l'étude d'une Hiérarchie Infinie de Cônes Rationnels de Languages d'Accepteurs Vérificateurs, Thèse Docteur-Ingénieur, Toulouse, 1973.

[12] F. Rodriguez, Une Hiérarchie Infinie de Cônes d'Accepteurs Vérificateurs, in 1. Fachtagung über Automatentheorie und Formale Sprachen, Lecture Notes in Computer Science, Springer-Verlag, 1973, p. 81-87. | Zbl 0299.68046

[13] R. Siromoney, Finite-Turn Checking Automata, J. Comput. System Sci., 5, (1971), p. 549-559. | Zbl 0231.68032