关于包含计数器机语言的全 trio 族
形式语言与自动机理论
2022-12-08 v1
摘要
我们考察了增广有多个反转向有界计数器的非确定性有限自动机，其中在接收计算中计数器的行为由某种固定模式规定。这些模式可作为理论计算机科学文献中其他重要自动机与文法模型的有用“桥梁”，从而助力其研究。我们考虑了多种模式行为，并给出刻画与比较。例如，其中一种模式精确定义了包含全部有界半线性语言的最小全 trio；另一种模式定义了包含全部有界上下文无关语言的最小全 trio。随后将此“桥接”应用于某些图灵机限制及其他语言族等。我们还借助该框架研究了若干一般可判定性性质。
引用
@article{arxiv.2212.03791,
title = {On Families of Full Trios Containing Counter Machine Languages},
author = {Oscar H. Ibarra and Ian McQuillan},
journal= {arXiv preprint arXiv:2212.03791},
year = {2022}
}
备注
28 pages, 1 figure