一种用于模拟任意有限自动机的折纸系统通用架构
离散数学
2019-04-24 v1 形式语言与自动机理论
摘要
本文提出一种折纸系统(oritatami system)架构,可统一地模拟任意非确定性有限自动机(NFA)。已知折纸系统具有图灵通用性,但迄今为止可用的模拟方法需要 542 种珠类型,并需 O(t^4 log^2 t) 步来模拟图灵机的 t 步。我们提出的架构仅使用 329 种珠类型,并且仅需 O(t |Q|^4 |Σ|^2) 步即可模拟在输入字母表 Σ 上、具有状态集 Q、处理长度为 t 的单词的 NFA。
引用
@article{arxiv.1904.10174,
title = {A general architecture of oritatami systems for simulating arbitrary finite automata},
author = {Yo-Sub Han and Hwee Kim and Yusei Masuda and Shinnosuke Seki},
journal= {arXiv preprint arXiv:1904.10174},
year = {2019}
}