Sequential mappings of ω-languages
Staiger, Ludwig
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 21 (1987), p. 147-173 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1987-01-01
@article{ITA_1987__21_2_147_0,
     author = {Staiger, Ludwig},
     title = {Sequential mappings of $\omega $-languages},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {21},
     year = {1987},
     pages = {147-173},
     mrnumber = {894708},
     zbl = {0634.68070},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1987__21_2_147_0}
}

Staiger, Ludwig. Sequential mappings of $\omega $-languages. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 21 (1987) pp. 147-173. http://gdmltest.u-ga.fr/item/ITA_1987__21_2_147_0/

[Au] J.-M. Autebert, Relationships Between AFDLs and Cylinders, Techn. Rep. No. 78-53, L.I.T.P., Paris, 1978.

[BN] L. Boasson and M. Nivat, Adherences of Languages, J. Comput. Syst. Sci., Vol. 20, No. 3, 1980, p. 285-309. | MR 584863 | Zbl 0471.68052

[Bü] J. R. Büchi, On a Decision Method in Restricted Second Order Arithmetic, in Proceedings 1960Int. Congr. for Logic, Stanford Univ. Press, Stanford, 1962, pp. 1-11. | MR 183636 | Zbl 0147.25103

[CG] R. S. Cohen and A. Y. Gold, ω-Computations on Turing Machines, Theoret. Comput. Sci., Vol. 6, 1978, pp. 1-23. | MR 465819 | Zbl 0368.68057

[Da] M. Davis, Infinitary Games of Perfect Information, in Advances in Game Theory, Princeton Univ. Press, Princeton N. J., 1964, pp. 89-101. | MR 170727 | Zbl 0133.13104

[Ku] K. Kuratowskj, , Topology I, Academic Press, New York, 1966. | MR 217751 | Zbl 0158.40802

[La] L. H. Landweber, Decision Problems for ω-Automata, Math. Syst. Theory, Vol. 3, 1969, pp. 376-384. | MR 260595 | Zbl 0182.02402

[LS] R. Lindner and L. Staiger., Algebraische Codierungstheorie-Theorie der sequentiellen Codierungen, Akademie-Verlag, Berlin, 1977. | MR 469495 | Zbl 0363.94016

[Sc 1] C. P. Schnorr, Zufälligkeit und Wahrscheinlichkeit, L.N.M. 218, Springer-Verlag, Berlin-Heidelberg-New York, 1971. | MR 414225 | Zbl 0232.60001

[Sc 2] C. P. Schnorr, Process Complexity and Effective Random Tests, J. Comput. Syst. Sci., Vol. 7, No. 4, 1973, pp. 376-388. | MR 325366 | Zbl 0273.68036

[St 1] L. Staiger, Über ein Analogon des Satzes von Ginsburg-Rose für sequentielle Folgenoperatoren und reguläre Folgenmengen, Dipl. Arbeit, Friedrich-Schiller-Universität, Jena 1970.

[St 2] L. Staiger, Zur Topologie der regularen Mengen, Diss. A, Friedrich-Schiller-Universtität, Jena 1976.

[St 3] L. Staiger, Projection Lemmas for ω-Languages, Theoret Comput. Sci., Vol. 32, 1984, pp. 331-337. | MR 761351 | Zbl 0545.68074

[St 4] L. Staiger, Hierarchies of Recursive ω-Languages, E.I.K.-J. Inform. Process and Cybernetics, Vol. 22, No. 5/6, 1986, pp. 219-241. | MR 855527 | Zbl 0627.03024

[SW 1] L. Staiger and K. Wagner, Zur Theorie der abstrakten Familien von ω-Sprachen (ω-AFL), in Algorithm. Kompliziertheit, Lern - und Erkennungsprozesse, Jena 1976, pp. 79-91. | MR 455575 | Zbl 0447.68088

[SW 2] L. Staiger and K. Wagner, Rekursive Folgenmengen I, Zeitschr. Math. Logik u. Grundl. Math., Vol. 24, 1978, pp. 523-538. | MR 511706 | Zbl 0421.03035

[Wa 1] K. Wagner, Arithmetische Operatoren, Zeitschr. Math. Logik u. Grundl. Math., Vol. 22, 1976, pp. 553-570. | MR 537535 | Zbl 0352.02031

[Wa 2] K. Wagner, On ω-Regular Sets, Inform. Control., Vol. 43, 1979, pp. 123-177. | MR 553694 | Zbl 0434.68061