改进的紧凑仿射自动机构造
摘要：有界错误情况下，仿射有限自动机（AfA）在识别某些正则语言时比概率和量子有限自动机更简洁。在本文中，我们改进了之前已知的关于AfA的简洁性的构造方法，分为三个方面：首先，将一些固定的错误边界替换为任意小的错误边界；其次，提出了使用比之前更少的状态的新构造方法；第三，我们证明了任何由非确定性有限自动机（NFA）识别的语言也可以由具有一个额外状态的有界错误AfAs识别，因此，AfAs继承了非确定性有限自动机的所有简洁结果。作为特例，我们还证明了如果每个成员的接受路径数目完全相同，那么任何由NFA识别的语言也可以被具有零错误的AfAs识别。
作者：Abuzer Yakary{i}lmaz
论文ID：2106.16197
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-07-01