A classification of -regular languages
From MaRDI portal
For a given \(\omega\)-regular language A we establish an invariant property of the structure of finite automata which accept A.
Recommendations
- Mathematical Foundations of Computer Science 2004
- Extensions of -regular languages
- Beyond \omega-Regular Languages
- Fine hierarchy of regular -languages
- Fine hierarchy of regular \(\omega\)-languages
- Characterization of -regular languages by first-order formulas
- Inferring regular languages and \(\omega\)-languages
- FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES
- Fine Hierarchy of Regular Aperiodic ω-Languages
- Publication:4941145
Cites work
- A note on \(\omega\)-regular languages
- Decision problems forω-automata
- scientific article; zbMATH DE number 3492660 (Why is no real title available?)
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- Sets of Numbers Defined by Finite Automata
- Testing and generating infinite sequences by a finite automaton
- Theories of automata on \(\omega\)-tapes: a simplified approach
Cited in
(24)- Classifying regular languages by a split game
- Classes of regular and context-free languages over countably infinite alphabets
- On alternating \(\omega\)-automata
- Fine hierarchy of regular \(\omega\)-languages
- Various hierarchies of \(\omega\)-regular sets
- A branching time logic with past operators
- Chain automata
- Borel hierarchy and omega context free languages.
- On omega context free languages which are Borel sets of infinite rank.
- On the separation question for tree languages
- scientific article; zbMATH DE number 7447748 (Why is no real title available?)
- scientific article; zbMATH DE number 5074397 (Why is no real title available?)
- scientific article; zbMATH DE number 3918353 (Why is no real title available?)
- Closure properties of subclasses of ω-regular languages under morphism and inverse morphism
- scientific article; zbMATH DE number 1944129 (Why is no real title available?)
- THE WAGNER HIERARCHY
- The Wadge-Wagner hierarchy of ω-rational sets
- Families of DFAs as Acceptors of omega-Regular Languages
- scientific article; zbMATH DE number 6764298 (Why is no real title available?)
- TYPENESS FOR ω-REGULAR AUTOMATA
- Topological properties of omega context-free languages
- Wadge hierarchy of omega context-free languages
- An algorithmic approach for checking closure properties of Ω-regular languages
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
This page was built for publication: A classification of \(\omega\)-regular languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1058863)
