B"{u}chi VASS 中的正则可分性
摘要：关于B"uchi VASS语言的($omega$-)regular可分离性问题的研究:给定两个具有语言$L\_1$和$L\_2$的B"uchi VASS，检查是否存在一个完全包含$L\_1$且与$L\_2$不相交的正则语言。我们证明了该问题在一般情况下是可判定的，并在一维情况下（假设简洁计数器更新）为PSPACE完全问题。这些结果基于几个论证。我们表征了与$L\_2$不相交的所有正则语言的集合。基于此，我们提出了一种（正确且完整的）不可分割证明的概念，即$L\_1$的非正则子集。最后，我们展示了如何符号化表示不可分割证明，并检查它们的存在。
作者：Pascal Baumann, Roland Meyer, Georg Zetzsche
论文ID：2301.11242
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-01-27