一种基于余代数的有限自动机简化方法
摘要：紧凑表示法对于提高效率非常重要。本文研究计算缩减自动机的方法，其中没有两个状态接受相同的语言。我们研究有限自动机（FA），这是一个抽象定义，包括概率和加权自动机。我们的过程利用了Milius的局部有限不动点。我们提出了一个缩减算法，适用于一大类半环的概率自动机和S线性加权自动机（WA）。此外，我们提出了一个可能存在的半环的合适性与我们提供的加权自动机缩减算法之间的潜在连接，为将自动机的缩减与其相关联的余代数合适性的未来工作铺平道路。
作者：Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman
论文ID：2303.14916
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-04-14