平面行走自动机
Plane-Walking Automata
摘要：
在这篇文章中，我们研究了由多头有限自动机定义的多维子移位类，特别是定义为头数增长的子移位类的层次。该层次结构崩溃的第三个层次，所有的co-recursively可重复的子移位，在每个维度。我们还比较了这些类的SFT和sofic的变化。我们无法分离的第二和第三层次的一维和二维，并提出了一个相关的开放问题的两个计数器的机器。
英文摘要：
In this article, we study classes of multidimensional subshifts defined by multihead finite automata, in particular the hierarchy of classes of subshifts defined as the number of heads grows. The hierarchy collapses on the third level, where all co-recursively enumerable subshifts are obtained in every dimension. We also compare these classes to SFTs and sofic shifts. We are unable to separate the second and third level of the hierarchy in one and two dimensions, and suggest a related open problem for two-counter machines.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
