论仿射自动机的计算能力
形式语言与自动机理论
2018-06-19 v1
摘要
我们研究了文献 [4] 中引入的仿射自动机的计算能力。具体而言,我们给出了一种更简洁的证明,说明如何改变任意仿射语言的截断点,并给出了一种在有界误差情形下降低误差的方法。此外,通过证明任意仿射语言均可由对仿射状态和转移矩阵的项施加特定限制的 AfA 识别,我们回应了文献 [4] 中的问题。最后,我们给出了首批被证明无法由有界误差 AfA 识别的语言。
引用
@article{arxiv.1612.01870,
title = {On the computational power of affine automata},
author = {Mika Hirvensalo and Etienne Moutot and Abuzer Yakaryılmaz},
journal= {arXiv preprint arXiv:1612.01870},
year = {2018}
}
备注
12 pages. Accepted to LATA2017