A combinatorial approach to the theory of ω-automata
DOI10.1016/S0019-9958(81)90663-XzbMATH Open0478.03020MaRDI QIDQ3934375FDOQ3934375
Authors: Wolfgang Thomas 
Publication date: 1981
Published in: Information and Control (Search for Journal in Brave)
homogeneous setsomega-automatacounter free omega-automatadefinability of sequence-sets in first-order and monadic second-order logicomega-regular sequence-setssets of infinite sequences recognized by finite automata
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Decidability of theories and sets of sentences (03B25) Model theory (03C99)
Cited In (18)
- Title not available (Why is that?)
- Etude syntaxique des parties reconnaissables de mots infinis. (Syntactic study of recognizable parts of infinite words)
- Languages versus \(\omega\)-languages in regular infinite games
- \(\omega\)-languages accepted by finite automata whose structures are cascade products o resets
- Progress measures, immediate determinacy, and a subset construction for tree automata
- Infinite-word languages and continuous mappings
- Towards a language theory for infinite N-free pomsets.
- Composition over the natural number ordering with an extra binary relation
- Decidability and undecidability of theories with a predicate for the primes
- Generalized automata on infinite trees and Muller-McNaughton's theorem
- Logic, semigroups and automata on words
- Completing the temporal picture
- Various hierarchies of \(\omega\)-regular sets
- Somewhat finite approaches to infinite sentences.
- Quantitative vs. weighted automata
- Determinization of ordinal automata
- On the translation of automata to linear temporal logic
- A list of arithmetical structures complete with respect to the first-order definability
This page was built for publication: A combinatorial approach to the theory of ω-automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3934375)
