轨道有限维向量空间与加权寄存器自动机
摘要：用这个理论，我们对由有限轨道集合生成的向量空间进行了研究。利用这个理论，我们给出了一种判定加权寄存器自动机等价性的决策过程，这是加权自动机和无限字母表的寄存器自动机的共同推广。该算法在指数时间内运行，并且对于固定数量的寄存器，可以在多项式时间内运行。作为一个特殊情况，我们可以用相同的复杂度决定非歧义寄存器自动机的语言等价性，这在三个方面改进了以前的结果：(a)我们允许对原子进行顺序比较，而不仅仅是相等性；(b)复杂度指数级更好；(c)我们允许带有猜测的自动机。
作者：Miko{l}aj Boja''nczyk, Joanna Fijalkow, Bartek Klin and Joshua Moerman
论文ID：2104.02438
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-04-18