关于明确多项式闭包的一切
摘要：非模糊多项式闭包的运算符对语言类进行了研究。我们证明了对于满足温和性质的正则语言类的每一个类C，其非模糊多项式闭包UPol(C)的成员问题可以归约为C的相同问题。我们还展示了非模糊多项式闭包与交替左右确定性闭包相一致。此外，我们证明了如果C是有限的，那么对于UPol(C)的分割问题和覆盖问题是可决定的。最后，我们概述了使用非模糊多项式闭包所建立的类的通用逻辑特征。
作者：Thomas Place and Marc Zeitoun
论文ID：2205.12703
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-08-16