arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1904.02428cs.FL
收藏

仿射自动机的计算局限性

Computational Limitations of Affine Automata

Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryılmaz

摘要:

我们提出了两个新的结果仿射自动机的计算限制。首先,我们证明了有界误差有理数仿射自动机的计算是在对数空间中模拟的。其次,我们给出了代数值仿射自动机的一个不可能性结果。其结果是,我们确定一些一元语言(对数空间),不承认代数值仿射自动机与切割点。

英文摘要:

We present two new results on the computational limitations of affine automata. First, we show that the computation of bounded-error rational-values affine automata is simulated in logarithmic space. Second, we give an impossibility result for algebraic-valued affine automata. As a result, we identify some unary languages (in logarithmic space) that are not recognized by algebraic-valued affine automata with cutpoints.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑