Decidability Results on the Existence of Lookahead Delegators for NFA

Löding, Christof; Repke, Stefan

doi:10.4230/LIPIcs.FSTTCS.2013.327

NFA中Lookahead Delegator存在性的判定结果

引用为获取BibTex

克里斯托夫·洛丁和斯特凡·雷普克。NFA的Lookahead Delegator存在性的判定结果。在IARCS软件技术和理论计算机科学基础年会（FSTTCS 2013）上。莱布尼茨国际信息学论文集（LIPIcs），第24卷，第327-338页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2013）
https://doi.org/10.4230/LIPIcs.FSTTCS.2013.327

@会议记录{loding_et_al:LIPIcs.FSTTCS.2013.327，作者={L\“{o} 丁字，Christof和Repke，Stefan}，title={{NFA}}的Lookahead Delegator存在性的判定结果，booktitle={IARCS软件技术和理论计算机科学基础年会（FSTTCS 2013）}，页数={327--338}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-64-4}，ISSN={1868-8969}，年份={2013}，体积={24}，editor={Seth，Anil和Vishnoi，Nisheeth K.}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.327},URN={URN:nbn:de:0030-drops-43838}，doi＝{10.4230/LPIcs.FSTTCS.2013.327}，annote={关键词：自动机、前瞻Delegators、安全游戏}}

<trans data-src="@InProceedings{loding_et_al:LIPIcs.FSTTCS.2013.327,">@会议记录{loding_et_al:LIPIcs.FSTTCS.2013.327，</trans><trans data-src="author =	{L\"">作者={L\“</trans><trans data-src="{o}ding">{o} 丁字</trans><trans data-src=", Christof and Repke, Stefan},">、克里斯托夫和雷普克、斯特凡}、，</trans><trans data-src="title =	{{Decidability Results on the Existence of Lookahead Delegators for NFA}},">title={{NFA}}的Lookahead Delegator存在性的判定结果，</trans><trans data-src="booktitle =	{IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)},">booktitle={IARCS软件技术和理论计算机科学基础年会（FSTTCS 2013）}，</trans><trans data-src="pages =	{327--338},">页数={327--338}，</trans><trans data-src="series =	{Leibniz International Proceedings in Informatics (LIPIcs)},">series={Leibniz国际信息学论文集（LIPIcs）}，</trans><trans data-src="ISBN =	{978-3-939897-64-4},">国际标准图书编号={978-3-939897-64-4}，</trans><trans data-src="ISSN =	{1868-8969},">ISSN={1868-8969}，</trans><trans data-src="year =	{2013},">年份={2013}，</trans><trans data-src="volume =	{24},">体积={24}，</trans><trans data-src="editor =	{Seth, Anil and Vishnoi, Nisheeth K.},">editor＝{赛斯，阿尼尔和毗湿奴，Nisheeth K.}，</trans><trans data-src="publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},">publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，</trans><trans data-src="address =	{Dagstuhl, Germany},">地址={Dagstuhl，德国}，</trans><trans data-src="URL =		{">URL={</trans><trans data-src="https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.327">https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.327</trans><trans data-src="},">},</trans><trans data-src="URN =		{urn:nbn:de:0030-drops-43838},">URN={URN:nbn:de:0030-drops-43838}，</trans><trans data-src="doi =		{10.4230/LIPIcs.FSTTCS.2013.327},">doi={10.4230/LIPIcs.FSTTCS.2013.327}，</trans><trans data-src="annote =	{Keywords: Automata, Lookahead Delegators, Safety Games}">annote={关键词：自动机、前瞻Delegators、安全游戏}</trans><trans data-src="}">}</trans>

摘要

在本文中，我们研究了非确定性有限自动机（NFA）的先行委托器，NFA是通过在输入字上额外使用有界先行来确定地选择转换的函数。当然，授权者必须为NFA接受的每个单词都提供一个接受状态。在不允许向前看的特殊情况下，委托符与保留语言的确定性转换函数相一致。典型的决策问题是决定是否存在具有给定固定前瞻性的委托人，或者对于给定的NFA是否存在具有某种有界前瞻性的委托人。在2007年Ravikumar和Santean的一篇论文中，这些问题的复杂性和可判定性得到了解决，主要是针对明确的NFA案例。在本文中，我们重新审视了这个主题，并提供了一般NFA情况下的结果。首先，我们通过证明具有固定前瞻性的委托人的存在性可以在状态数的时间多项式中决定，纠正了上述文章中的一个复杂性结果。我们使用图上的双人游戏作为工具来获得结果。作为第二个贡献，我们表明，如果前瞻的边界是输入的一部分，那么问题就变成了PSPACE-complete。第三个结果提供了所需的最大前瞻量的界限。我们用它来证明（以前公开的）决定有界lookahead委托器存在性的问题也是PSPACE完成的。

NFA中Lookahead Delegator存在性的判定结果

作者克里斯托夫·洛丁, 斯特凡·雷普克

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

感谢您的反馈！

无法发送消息

NFA中Lookahead Delegator存在性的判定结果

作者 克里斯托夫·洛丁, 斯特凡·雷普克

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

感谢您的反馈！

无法发送消息

作者克里斯托夫·洛丁, 斯特凡·雷普克