Characterization of \(\omega\)-regular languages by first-order formulas
From MaRDI portal
Publication:800737
DOI10.1016/0304-3975(83)90027-0zbMath0551.68069MaRDI QIDQ800737
Kojiro Kobayashi, Hideki Yamasaki, Masako Takahashi
Publication date: 1984
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(83)90027-0
68Q45: Formal languages and automata
03C40: Interpolation, preservation, definability
03C07: Basic properties of first-order languages and structures
Related Items
Infinite-word languages and continuous mappings, A regular characterization of graph languages definable in monadic second-order logic, \(X\)-automata on \(\omega\)-words, Various hierarchies of \(\omega\)-regular sets
Cites Work