有限自动机的受限双向运动
摘要：有限的双向自动机和计算中左移动的次数进行测量。根据此度量限制自动机，能够详细研究双向运动在接受正则语言中的使用情况和状态复杂度。引入给定正则语言的双向频谱。该数量反映了最小接受设备的大小变化，如果逐步增加双向运动的使用。我们提供频谱示例，证明统一的上下界并研究它们的锐度。对于使用双向运动具有统一有界的双向自动机也有状态复杂度结果。
作者：David Damanik (Rice University)
论文ID：1409.5909
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-09-23