×
丹尼尔·本达拉；乔尔·瓦克宁

关于参数定时自动机和单计数器机器。 （英语） Zbl 1362.68131号

Inf.计算。 253，第2部分，272-303（2017）.
摘要：二十年前，Alur、Henzinger和Vardi介绍了参数时间自动机的可达性问题。他们的主要结果是，对于具有单个参数时钟的时间自动机，可达性是可判定的，而对于具有三个或更多参数时钟的时间自动机，可达性是不可判定的。
在两个参数时钟的情况下，可判定性是开放的，在这段时间内我们几乎没有发现任何进展。
在本文中，我们建立了最多两个参数时钟的参数时间自动机的可达性与一类参数单计数器的可达性之间的对应关系。我们利用这种联系（i）将一个参数时钟的决策过程从非元素改进为（mathsf{2NEXP}）；（ii）显示两个参数时钟和一个参数的可判定性；（iii）给出一个和两个参数时钟可达性问题的下界；（iv）显示各种参数单计数器机器的可判定性。

引用于1审查
引用于6文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

参数时间自动机；单计数器机器；可达性
PDF格式BibTeX公司 XML格式引用
\textit{D.Bundala}和\textit{J.Ouaknine}，Inf.Comput。253，第2部分，272--303（2017；Zbl 1362.68131）
全文： 内政部 链接

参考文献：

[1] 埃里克·艾伦德；米查尔·库克；Ronneburger，Detlef；Roy，Sambuddha，《计算复杂性理论中基于资源的Kolmogorov复杂性的普遍影响》，J.Compute。系统。科学。，77、1、14-40（2011年1月）·Zbl 1235.68085号
[2] 阿鲁尔（Alur，R.）。；亨辛格，T.A。；Vardi，M.Y.，参数实时推理（第25届计算理论年会论文集（1993））·兹比尔1310.68139
[3] 拉杰夫·阿鲁尔；Dill，David L.，时间自动机理论，Theor。计算。科学。，126183-235（1994年4月）·Zbl 0803.68071号
[4] Bel’tyukov，A.P.，《具有加法和除法的自然数普遍理论的可判定性》，J.Sov。数学。，14, 5, 1436-1444 (1980) ·Zbl 0449.03011号
[5] 丹尼尔·本达拉（Daniel Bundala）；Jonas，J.，《参数实时推理的进展》，（Csuhaj-Varjü，Erzébet；Dietzfelbinger，Martin；E-sik，Zoltán，《计算机科学数学基础》2014-39届国际研讨会论文集，第一部分）。2014年第39届国际计算机科学数学基础研讨会，论文集，第一部分，2014年MFCS，匈牙利布达佩斯，2014年8月25-29日。2014年第39届计算机科学数学基础国际研讨会，论文集，第一部分。2014年第三十九届国际研讨会，第一部分，2014年MFCS，匈牙利布达佩斯，2014年8月25日至29日，莱克托。注释计算。科学。，第8634卷（2014年），施普林格出版社，123-134·Zbl 1426.68140号
[6] Doyen，L.，时间自动机的鲁棒参数可达性，Inf.过程。莱特。，102, 5, 208-213 (2007) ·Zbl 1184.68337号
[7] 费恩利，J。；Jurdziñski，M.，《双时钟时间自动机中的可达性是PSPACE-Complete》（第40届国际自动机、语言和编程会议论文集——第二卷。第40届自动化、语言和程序国际会议论文集，第二卷，ICALP’13（2013））·Zbl 1327.68118号
[8] Göller，S。；Haase，C。；Ouaknine，J。；Worrell，J.，模型检查简洁和参数单计数器自动机，（ICALP’13。ICALP’13，勒克特。注释计算。科学。，第6199卷（2010），施普林格）·Zbl 1288.68164号
[9] Haase，C.，《关于模型检查计数器自动机的复杂性》（2012），牛津大学博士论文
[10] Haase，C。；Kreutzer，S。；Ouaknine，J。；Worrell，J.，《简洁参数单计数器自动机的可达性》（CONCUR’09）。2009年，路易斯安那州。注释计算。科学。，第5710卷（2009），施普林格）·Zbl 1254.68134号
[11] Haase，C。；Ouaknine，J。；Worrell，J.，《关于时间自动机和计数器自动机中可达性问题之间的关系》（RP.RP，Lect.Notes Comput.Sci.，vol.7550（2012），Springer）·Zbl 1328.68112号
[12] 亨辛格，T.A。；Manna，Z。；Pnueli，A.，数字时钟有什么好处？，（《自动化，语言与编程》，《自动化，编程与语言》，Lect.Notes Compute.Sci.，第623卷（1992年），Springer）·Zbl 1425.68255号
[13] Hune，T。；罗米恩，J。；Stoelinga，M。；Vaandrager，F.，《时间自动机的线性参数模型检查》，（《系统构建和分析的工具和算法》，《系统构建与分析的工具与算法》，Lect.Notes Compute.Sci.，第2031卷（2001））·Zbl 0978.68094号
[14] O.H.伊巴拉。；姜涛（Jiang，T.）。；新泽西州特伦。；Wang，H.，关于双向计数器及其应用的新可判定性结果，（ICALP’93）。ICALP’93，莱克托。注释计算。科学。，第700卷（1993），施普林格）·Zbl 1422.68150号
[15] Jovanovic，A。；石灰，D。；Roux，O.H.，时间自动机的整数参数合成，（TACAS.TTACAS，Lect.Notes Comput.Sci.，vol.7795（2013））·Zbl 1381.68121号
[16] 拉福卡德，P。；Lugiez，D。；Treinen，R.，同态类AC方程理论的入侵者演绎（2004），LSV，ENS de Cachan，研究报告LSV-04-16·Zbl 1078.68034号
[17] 拉鲁西尼，F。；马基，N。；Schnoebelen，Ph.，一个或两个时钟的模型检查时间自动机，（Gardner，Philippa；Yoshida，Nobuko，CONCUR 2004-并发理论。CONCUR 2004-并发理论，Lect.Notes计算科学，第3170卷（2004），Springer:Springer Berlin，Heidelberg），387-401·Zbl 1099.68057号
[18] Lencher，A。；Ouaknine，J。；Worrell，J.，《关于具有可除性的线性算法的复杂性》，（第30届ACM/IEEE计算机科学逻辑研讨会论文集（2015））·Zbl 1401.03070号
[19] Lipshitz，L.，《关于加法和可除性的丢番图问题》，Trans。美国数学。Soc.，235（1978年）·Zbl 0374.02025号
[20] Lipshitz，L.，关于加法和可除性的丢番图问题的一些评论，（《模型理论会议论文集》，第33卷（1981））·Zbl 0497.03007号
[21] Miller，J.S.，《时间自动机和半线性混合自动机的可判定性和复杂性结果》，（混合系统：计算和控制，混合系统：计算机和控制，Lect.Notes Compute.Sci.，第1790卷（2000））·Zbl 0992.93050号
[22] Minsky，Marvin L.，《计算：有限和无限机器》（1967），普伦蒂斯·霍尔公司：普伦蒂斯霍尔公司，美国新泽西州上鞍河·Zbl 0195.02402号
[23] Ouaknine，Joël；Worrell，James，《开放和封闭时间自动机的普遍性和语言包容性》，（第六届混合系统国际会议论文集：计算和控制。第六届国际混合系统会议论文集，HSCC’03（2003），Springer-Verlag:Springer-Verlag Berlin，Heidelberg）， 375-388 ·Zbl 1032.68096号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。