跳跃自动机在无限字上
摘要：跳转自动机是一种有限自动机，它以非连续的方式读取输入，忽略单词中字母的顺序。我们介绍并研究了无限单词上的跳转自动机。与已经进行了深入研究的有限单词情况不同，在无限单词的情况下，单词如何重新排序还不清楚。为此，我们考虑了三种语义：自动机按照某种顺序读取无限单词，以确保没有字母被忽略，自动机可以在给定大小为k的窗口中对单词进行排列，以及可以在存在量化的界限窗口中对单词进行排列的自动机。我们研究了这些模型的表达能力、闭包性质和算法特性。
作者：Shaull Almagor and Omer Yizhaq
论文ID：2304.01278
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-04-05