论文标题
$ω$ regular语言的扩展
Extensions of $ω$-Regular Languages
论文作者
论文摘要
我们考虑在$ω$ - 单词上使用Monadic二阶逻辑的扩展，这些逻辑是通过添加一种不是$ω$ regular的语言而获得的。我们表明，如果添加的语言$ l $具有中性字母，那么所产生的逻辑必然是不可决定的。推论的是，$ω$的语言是唯一超过$ω$ - 词的布尔封闭的全三重奏。
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 $L$ 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.
