English

Extensions of $\omega$-Regular Languages

Formal Languages and Automata Theory 2020-02-24 v1 Logic in Computer Science

Abstract

We consider extensions of monadic second order logic over ω\omega-words, which are obtained by adding one language that is not ω\omega-regular. We show that if the added language LL has a neutral letter, then the resulting logic is necessarily undecidable. A corollary is that the ω\omega-regular languages are the only decidable Boolean-closed full trio over ω\omega-words.

Keywords

Cite

@article{arxiv.2002.09393,
  title  = {Extensions of $\omega$-Regular Languages},
  author = {Mikołaj Bojańczyk and Edon Kelmendi and Rafał Stefański and Georg Zetzsche},
  journal= {arXiv preprint arXiv:2002.09393},
  year   = {2020}
}
R2 v1 2026-06-23T13:49:37.995Z