发表机构
Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology（麻省理工学院计算机科学与人工智能实验室）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究证明，将k+1头双向确定有限自动机替换为等价k头自动机时，描述大小增量无递归上界，该结论对所有k及一元、非确定自动机均成立。
AI 中文摘要
我们证明，当将具有k+1个头的双向确定有限自动机替换为等价的具有k个头的双向确定有限自动机时，不存在递归函数可以对描述大小的增量进行上界估计。这对所有k均成立，且当自动机为一元自动机和/或非确定自动机时，该结论仍然成立。
英文摘要
We prove that no recursive function can upper bound the increase in the size of description when a two-way deterministic finite automaton with k+1 heads is replaced by an equivalent two-way deterministic finite automaton with k heads. This is true for all k, and remains true if the automata are unary and/or nondeterministic.
CommentsProceedings of DCFS 2004, pp. 213-224. Number of pages: 13. Number of figures: 0
