On ω-regular sets
- 30 November 1979
- journal article
- Published by Elsevier in Information and Control
- Vol. 43 (2) , 123-177
- https://doi.org/10.1016/s0019-9958(79)90653-3
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Decision problems forω-automataTheory of Computing Systems, 1969
- Definability in the monadic second-order theory of successorThe Journal of Symbolic Logic, 1969
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969
- Sets of Numbers Defined by Finite AutomataThe American Mathematical Monthly, 1967
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966