有限自动机中寻找重置字的复杂性
形式语言与自动机理论
2011-02-21 v2 计算复杂性
摘要
我们研究了与在确定性有限自动机中寻找重置字相关的几个问题。特别地，我们证明了判定最短重置字长度是否为 的问题对于复杂度类 DP 是完全的。这一结果回答了 Volkov 提出的一个问题。对于寻找最短重置字及其长度的搜索问题，我们分别确立了它们属于复杂度类 和 。此外，我们证明了这两个问题对于 都是困难的。最后，我们指出计算给定长度的重置字是 FNP-完全的。
引用
@article{arxiv.1004.3246,
title = {The Complexity of Finding Reset Words in Finite Automata},
author = {Jörg Olschewski and Michael Ummels},
journal= {arXiv preprint arXiv:1004.3246},
year = {2011}
}
备注
16 pages, revised version