一致可分离的单计数器自动机
摘要：正则可分离性问题的主要结果：一致计数自动机的语言之一是否存在一个包含该语言但与另一个语言不相交的正则语言是可判定的，并且该问题是PSpace完备的。这与一致计数自动机的正则性问题的不可判定性以及一致计数自动机的正则可分离性问题的不可判定性形成对比。
作者：Wojciech Czerwi''nski and S{l}awomir Lasota
论文ID：1701.02808
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22