加权有限自动机的最优谱范数近似极小化
摘要：用 Adamyan-Arov-Krein 近似理论解决带权重的有限自动机（WFA）的近似最小化问题，权重在实数域上，字母表为单字母：根据状态数限制计算出 WFA 的最佳近似。 除了其固有的数学相关性之外，这个理论在模型简化方面证明非常有效。我们将这些结果调整为单字母字母表上的加权自动机的框架。我们提供在谱范数和$ l^2 $范数中近似质量的理论保证和界限。我们开发了一个算法，基于 Hankel 运算符的性质，在谱范数中返回最优近似。
作者：Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau
论文ID：2102.06860
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-18