图像-二进制自动机
摘要：加权有限状态自动机在有理数上引入了一种限制，称为图像二进制自动机。我们表明这种自动机接受正则语言，比相应的非确定有限自动机更简洁，并且允许多项式补集、并集和交集。这与补集需要超多项式状态膨胀的不明确自动机相比具有优势。我们还研究了无限字版本的图像二进制布吉自动机。我们表明这种自动机适用于概率模型检测，类似于不明确布吉自动机。我们提供了将k-不明确布吉自动机转换为图像二进制布吉自动机的算法，从而获得具有最佳计算复杂度的模型检测算法。
作者：Stefan Kiefer and Cas Widdershoven
论文ID：2109.01049
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-03-29