WSTS的可分离性和非确定性
摘要：与良构过渡系统（WSTS）语言相关的一个最近的结构性结果具有令人惊讶的通用性：不相交的WSTS语言总是被一个正则语言分隔开。该结果假设其中一种语言由确定性WSTS接受，尚不知道是否需要这个假设。有两种方法可以摆脱这个假设，但迄今为止都没有得出结论：（i）证明WSTS可以确定化，（ii）将分离性结果推广到非确定性WSTS语言。我们的贡献是展示（i）不起作用，但（ii）可以。关于（i），我们给出一个非确定性WSTS语言，证明它不能由确定性WSTS接受。关于（ii），我们展示了如何在没有理想分解工具的情况下找到有限表示的归纳不变量。我们的结果适用于向上和向下兼容的WSTS。
作者：Eren Keskin, Roland Meyer
论文ID：2305.02736
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-05