Lune

LICS2020顶会

Extensions of ω-Regular Languages

Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche

2020年份

摘要

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.

问问这篇 Paper

智能体会读完全文。

Lune 把这篇 Paper 索引到了最后一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。

可以从这些问题问起

智能体调用

Luneget_paper_fulltext

在 Lune 里问

免费开始,无需绑卡

lune papers fulltext e9b0fc45-cdda-42d0-9bc3-00b93e20cd07

相关 Paper

黄昏的海面,两侧是细线勾勒的悬崖