通过 1-限制自动机实现非确定性双向有限自动机的多项式补全
形式语言与自动机理论
2025-07-16 v1
摘要
我们证明了仅以多项式级别的规模增加，即可将每个未限制的双向非确定性有限自动机 (2NFA) 通过 1-限制自动机 (1-LA) 实现补全。1-LA 是一种非确定性的 2NFA 扩展，仍然识别正则语言。得到的机器实际上是 1-LA 的一种受限形式——称为带共同猜测的 2NFA，且是自验证的。我们构造的一个推论是：补全 1-LA 需要且仅需指数时间。
引用
@article{arxiv.2507.11209,
title = {Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata},
author = {Bruno Guillon and Luca Prigioniero and Javad Taheri},
journal= {arXiv preprint arXiv:2507.11209},
year = {2025}
}