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 -words, which are obtained by adding one language that is not -regular. We show that if the added language has a neutral letter, then the resulting logic is necessarily undecidable. A corollary is that the -regular languages are the only decidable Boolean-closed full trio over -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}
}