Choueka, Yaacov Theories of automata on \(\omega\)-tapes: a simplified approach. (English) Zbl 0292.02033 J. Comput. Syst. Sci. 8, 117-141 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 58 Documents MSC: 03D05 Automata and formal grammars in connection with logical questions 68Q45 Formal languages and automata × Cite Format Result Cite Review PDF Full Text: DOI References: [1] Büchi, J. R., Weak second-order arithmetic and finite automata, Z. Math. Log. Grundl. Math., 6, 66-92 (1960) · Zbl 0103.24705 [2] Büchi, J. R., On a Decision Method in Restricted Second-Order Arithmetic, (Proc. of the Int. Cong. on Logic, Methodology and Philosophy of Sciences 1960 (1962), Stanford University Press: Stanford University Press Stanford, California) · Zbl 0215.32401 [3] Büchi, J. R., Decision methods in the theory of ordinals, Bull. Amer. Math. Soc., 71, 767-770 (1965) · Zbl 0207.30904 [4] Choueka, Y., Finite Automata on Infinite Structures, (Ph.D. Dissertation (1970), The Hebrew University: The Hebrew University Jerusalem) [5] Elgot, C. C., Decision problems of finite automata design and related arithmetics, Trans. Amer. Math. Soc., 98, 21-51 (1961) · Zbl 0111.01102 [6] McNaughton, R., Testing and generating infinite sequences by a finite automaton, Information and Control, 9, 521-530 (1966) · Zbl 0212.33902 [7] McNaughton, R.; Yamada, H., Regular expressions and state graphs for automata, Trans. IEEE, 9, 39-47 (1960) · Zbl 0156.25501 [8] Muller, D. E., Infinite Sequences and Finite Machines, Switching Circuit Theory and Logical Design, (Proc. Fourth Ann. Symp., Inst. of Electrical and Electronic Engineers. Proc. Fourth Ann. Symp., Inst. of Electrical and Electronic Engineers, Chicago (1963)) [9] Rabin, M.; Scott, D., Finite automata and their decision problems, IBM J. Research Develop, 3, 114-125 (1959) · Zbl 0158.25404 [10] Rabin, M., Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc., 141, 1-35 (1969) · Zbl 0221.02031 [11] Rabin, M., Automata on Infinite Objects and Church’s Problem, (Regional Conf. Ser. Math., 13 (1972), Amer. Math. Soc.: Amer. Math. Soc. Providence, Rhode Island) · Zbl 0315.02037 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.