Finite automata and ordinals

Theoretical Computer Science

Volumn 156, Issue 1-2, 1996, Pages 119-144

  Bedon, Nicolas ^a  

^a Université de Marne la Vallée   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; EQUIVALENCE CLASSES; FORMAL LOGIC; SET THEORY;

MONODIC SECOND ORDER THEORY; ORDINALS; TRANSFINITE WORDS; WOJCIECHOWSKI AUTOMATA;

FINITE AUTOMATA;

EID: 0030109673     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00006-2     Document Type: Article

References (14)

1. J.R. Büchi, On a decision method in the restricted second-order arithmetic, Logic, Methodology and Philosophy of Science: Proc. Internat. Congr. (Stanford University Press, Stanford, 1962), 1-11.
2. J.R. Büchi, Decision methods in the theory of ordinals, Bull. Am. Math. Soc. 71 (1965) 767-770.
3. Y. Choueka, Theories of automata on ω-tapes: a simplified approach. J. Comput. System Sci. 8 (1974) 117-141.
4. n-tapes, J. Comput. System Sci. 17 (1978) 81-97.
5. J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation (Addison-Wesley, Reading, MA, 1979).
6. R. McNaughton, Testing and generating infinite sequences by a finite automaton, Inform. Control 9 (1966) 521-530.
7. D. Muller, Infinite sequences and finite machines, Switching Circuit Theory and Logical Design: Proc. Fourth Ann. Symp. (IEEE, New York, 1963) 3-16.
8. D. Perrin and J.E. Pin, Mots infinis, LITP Report Paris 93-40, to appear.
9. J.G. Rosenstein, Linear Ordering (Academic Press, New York, 1982).
10. W. Sierpiński, Leçons sur les nombres transfinis (Gauthier-Villars, Paris, 1950).
11. W. Sierpiński, Cardinal and Ordinal Numbers (Polish Scientific Publisher, Varsovie, 1965).
12. W. Thomas, Automata on infinite objects, Handbook of Theoretical Computer Science, Vol. B (Elsevier, Amsterdam, 1990) 135-191.
13. J. Wojciechowski, Classes of transfinite sequences accepted by finite automata, Fundamenta Informaticae 7.2 (1984) 191-223.
14. J. Wojcieahowski, Finite automata on transfinite sequences and regular expressions, Fundamenta informaticae 8.3-4 (1985) 379-396.