广义线性单向跳转有限自动机
摘要：一个名为一次性跳跃有限自动机的新离散计算模型被H. Chigahara等人定义出来。这个模型是跳跃有限自动机模型的一个限制版本。这些自动机逐个符号地读取输入，并且只能向一个方向跳跃。广义线性一次性跳跃有限自动机在删除输入字符串的一个子串后进行跳跃，然后改变自身状态。这些自动机可以在输入字符串上仅以一个方向进行跳跃序列，从左到右或者从右到左。我们证明了新定义的模型比其原始对应模型更强大。我们定义并比较了变体，即广义右线性一次性跳跃有限自动机和广义左线性一次性跳跃有限自动机。我们还将新定义的模型与乔姆斯基层次结构进行了比较。最后，我们探讨了该模型的闭包性质。
作者：Ujjwal Kumar Mishra, Kalpana Mahalingam, Rama Raghavan
论文ID：2106.02937
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-06-08