二维自动机的限制程度
摘要：二维自动机有一个只读输入头，在由输入字母表符号标记的有限单元格阵列上朝三（或两）个方向移动。限制二维自动机的输入头移动会导致在识别能力方面较弱的模型。 在本文中，我们引入了二维自动机的“限制程度”的概念，并发展出一些扩展的二维自动机模型，允许进行一定数量的受限移动。我们建立了确定性和非确定性扩展三向二维自动机的识别层次，并找到了确定性和非确定性扩展双向二维自动机的类似层次。我们还证明了非确定性和确定性扩展三向二维自动机之间的不可比较性结果。最后，我们考虑了由扩展三向二维自动机识别的一些语言运算的封闭性质。
作者：Taylor J. Smith and Kai Salomaa
论文ID：2105.01179
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-05