包含计数机语言的完全三元组家族
摘要：计算机科学文献中的一种方法，用于增强多个有限自动机的非确定性有穷自动机，其中，在接受计算过程中，计数器的行为由某些固定模式指定。这些模式可以作为将不同的重要自动机和语法模型联系起来的有用的“桥梁”，从而有助于它们的研究。我们考虑了各种模式的行为，并进行了表征和比较。例如，一个模式定义了包含所有有界半线性语言的最小完全三元组。另一个模式定义了包含所有有界上下文无关语言的最小完全三元组。然后将此“桥接”应用于其他家族，例如特定的图灵机限制以及其他家族。还使用此框架研究了某些一般的可决定性属性。
作者：Oscar H. Ibarra and Ian McQuillan
论文ID：2212.03791
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-12-08