非返回的有透明字母的有限自动机
摘要：非确定有限自动机（NFA）是计算模型之一，用于处理字符串。在本文中，我们提出了一种新的NFA变体，即带有半透明字母（NFAwtl）。与传统的NFA相比，NFAwtl在读取并删除一个字母后，不会返回到其带子的左端，而是从刚刚删除的字母的位置继续进行。当到达带子末尾标记时，我们的自动机可以决定是接受、拒绝还是继续读取剩余的带子内容（从开头重新读取）。这种类型的自动机被称为非返回有限自动机（nrNFAwtl），且在表达能力上严格高于NFAwtl。我们研究了这种类型自动机以及其确定性变体的表达能力，并对生成的语言类和决策问题感兴趣。
作者：Frantiv{s}ek Mr''az (Charles University), Friedrich Otto (Universit"at Kassel)
论文ID：2208.14729
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-01