Star-free regular sets of ω-sequences
- 31 August 1979
- journal article
- Published by Elsevier in Information and Control
- Vol. 42 (2) , 148-156
- https://doi.org/10.1016/s0019-9958(79)90629-6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Application of model theoretic games to discrete linear orders and finite automataInformation and Control, 1977
- The Monadic Theory of OrderAnnals of Mathematics, 1975
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960