Minimal generators of submonoids of A ∞
Litovsky, I.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991), p. 3-17 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1991-01-01
@article{ITA_1991__25_1_3_0,
     author = {Litovsky, I.},
     title = {Minimal generators of submonoids of $A^\infty $},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {25},
     year = {1991},
     pages = {3-17},
     mrnumber = {1104407},
     zbl = {0725.68062},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1991__25_1_3_0}
}

Litovsky, I. Minimal generators of submonoids of $A^\infty $. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) pp. 3-17. http://gdmltest.u-ga.fr/item/ITA_1991__25_1_3_0/

1. J. R. Büchi, On Decision Method in Restricted Second-Order Arithmetics, Proc. Congr. Logic, Method. and Philos. Sci., Stanford Univ. Press, Stanford, 1962, pp. 1-11. | MR 183636 | Zbl 0147.25103

2. P. Darondeau and L. Kott, A Formal Proof System for Infinitary Rational Expression; I.R.I.S.A. Rept., No. 199, 1983.

3. Do Long Van, Sur les ensembles générateurs minimaux des sous-monoïdes de A∞; C. R. Acad. Sci. Paris, 300, série I, No. 13, 1985. | MR 794019 | Zbl 0578.68063

4. S. Eilenberg, Automata, Languages and Machines; A, Academic Press, New York, 1974. | MR 530382 | Zbl 0359.94067

5. M. Latteux and J. Leguy, On the Composition of Morphisms and Inverse Morphisms, Lect. Notes Comput. Sci., 1983, 154, pp. 420-432. | MR 727673 | Zbl 0523.68067

6. M. Latteux and E. Timmerman, Two Characterizations of Rational Adherences, Theor. Comput. Sci., 1986, 46, pp. 101-106. | MR 868267 | Zbl 0618.68066

7. I. Litovsky and E. Timmerman, On Generators of Rational ω-Power Languages, Theor. Comput. Sci., 1987, 53, pp. 187-200. | MR 918089 | Zbl 0632.68080

8. E. Timmerman, The Three Subfamilies of Rational ω-Languages Closed under ω-Transduction (to appear). | MR 1079528 | Zbl 0704.68069

9. L. Staiger, On Infinitary Finite Lenght Codes; Theoretical Informatics and Applications, 1986, 20, No. 4, pp. 483-494. | Numdam | MR 880849 | Zbl 0628.68056

10. L. Staiger, Reasearch in Theöry of ω-Languages, J. Inf. Process. Cybern., EIK 23, 1987, 8/9, pp. 415-439. | MR 923334 | Zbl 0637.68095