广义循环单向跳转有限自动机
摘要：一种称为单向跳跃有限自动机的计算不连续模型被H. Chigahara等人所定义。该模型是跳跃有限自动机的一种受限版本。单向跳跃有限自动机在删除输入的一个字母后改变其状态，并且只能向一个方向跳跃。允许状态删除子词而不是字母，我们定义了一种新模型，即广义环形单向跳跃有限自动机。这些自动机以循环方式处理输入。与单向跳跃有限自动机类似，广义环形单向跳跃有限自动机也只能在一个方向上跳跃。我们证明了这个新定义的模型比单向跳跃有限自动机更加强大。我们定义了广义环形单向跳跃有限自动机的新变种（右侧和左侧）并进行比较。我们还将新定义的模型与乔姆斯基层次进行了比较。最后，我们探索了该模型的闭包性质。
作者：Ujjwal Kumar Mishra, Kalpana Mahalingam, Rama Raghavan
论文ID：2106.03852
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-06-09