从有限值非确定转录器到确定性双带自动机
计算复杂性
2021-05-03 v3 形式语言与自动机理论
摘要
P 是否等于 NP 的问题围绕着图灵机的主动生成与单纯验证之间的差异。在本文中，我们考察有限转录器与自动机的类似问题。每个非确定有限转录器定义一个二元关系，将每个输入词与该转录器在给定输入上能成功生成的所有输出词相关联。有限值转录器是指该关系与每个输入词相关联的输出词数量存在有限上界的那些转录器。我们刻画了有限值、函数式和无歧义非确定转录器，其关系可由确定性双带自动机验证，展示了若存在此类自动机如何构造之，并证明了该判据的不可判定性。
引用
@article{arxiv.2005.13710,
title = {From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata},
author = {Elisabet Burjons and Fabian Frei and Martin Raszyk},
journal= {arXiv preprint arXiv:2005.13710},
year = {2021}
}