克里斯托夫·Löding；斯特凡·雷普克 NFA的可决定性取决于前瞻委托人的存在。 （英语） Zbl 1359.68173号 Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，327-338（2013）。 摘要：在本文中，我们研究了非确定性有限自动机（NFA）的先行委托器，NFA是通过在输入字上额外使用有界先行来确定选择转换的函数。当然，授权者必须为NFA接受的每个单词都提供一个接受状态。在不允许向前看的特殊情况下，委托符与保留语言的确定性转换函数相一致。典型的决策问题是决定具有给定固定前瞻性的委托人是否存在，或者对于给定的NFA是否存在具有某些有界前瞻性的受托人。在一篇论文中B.拉维库马尔和N.桑提安【国际期刊《发现计算科学》第18卷第5期，949–973页（2007年；Zbl 1202.68238号)]这些问题的复杂性和可判定性已经得到解决，主要是针对明确的NFA。在本文中，我们重新审视了这个主题，并提供了一般NFA案例的结果。首先，我们通过证明具有固定前瞻性的委托人的存在性可以在状态数的时间多项式中决定，纠正了上述文章中的一个复杂性结果。我们使用图上的双人游戏作为工具来获得结果。作为第二个贡献，我们表明，如果前瞻的边界是输入的一部分，那么问题就变成了PSPACE-complete。第三个结果提供了所需的最大前瞻量的界限。我们用它来证明（以前公开的）决定有界lookahead委托器存在性的问题也是PSPACE完成的。关于整个系列，请参见[兹比尔1280.68045]. 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 91A80型 博弈论的应用 关键词：自动机；前瞻授权者；安全游戏 引文：Zbl 1202.68238号 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{S.Repke}，LIPIcs——莱布尼茨国际程序。通知。24、327--338（2013；Zbl 1359.68173） 全文： 内政部