各类受限自动机模型的行为优势与局限

Tomoyuki Yamakami

各类受限自动机模型的行为优势与局限

形式语言与自动机理论 2021-11-10 v1 计算复杂性

作者: Tomoyuki Yamakami

摘要

我们考察各类 $k$ -受限自动机模型的行为，这些模型自然推广了Hibbard的[Inf. Control, vol. 11, pp. 196--238, 1967]扫描受限自动机，每种都是满足 $k$ -受限要求的单带线性有界自动机，即每个带单元的内容仅能在读写头首次 $k$ 次访问期间被修改。一个核心计算模型是概率 $k$ -受限自动机（缩写为 $k$ -lpa），当其接受状态在期望多项式时间内以大于1/2的概率从初始状态可达时，它恰好接受该输入。我们还研究了此类 $k$ -lpa的单边错误和有界错误变体，以及 $k$ -受限自动机的确定性、非确定性和无歧义模型，它们可视为 $k$ -lpa的自然限制。我们讨论了这些机器模型的基本性质，并获得了它们所诱导语言族之间的包含与分离关系。在此过程中，我们研究了特殊特征——空白跳过性质和在反转下的闭包——它们是 $k$ -lpa鲁棒性的关键。

关键词

$k$-受限自动机概率自动机线性有界自动机语言族空白跳过反转下闭包计算复杂性

引用

@article{arxiv.2111.05000,
  title  = {Behavioral Strengths and Weaknesses of Various Models of Limited Automata},
  author = {Tomoyuki Yamakami},
  journal= {arXiv preprint arXiv:2111.05000},
  year   = {2021}
}

备注

(A4, 10pt, 22 pages)

各类受限自动机模型的行为优势与局限

摘要

关键词

引用

备注

相关论文