马丁·范策尔;卡琳·夸斯;马赫萨·希尔穆罕默德;詹姆斯·沃雷尔 时间自动机中可达性关系的有效可定义性。 （英语） 兹比尔1478.68126 信息处理。莱特。 153，文章ID 105871，4 p.（2020）. 小结：我们给出了H.科蒙和尤尔斯基[法学注释计算科学.1664，242–257（1999；Zbl 0940.68092号)] 时间自动机的二进制可达关系可以用线性算法定义。 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 05年3月 与逻辑问题相关的自动机和形式文法 30楼03号 一阶算法和片段 关键词：普雷斯伯格算法;区域自动机;半线性集;实时系统 引文：Zbl 0940.68092号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Fränzle｝等人，《信息流程》。莱特。153，文章ID 105871，4 p.（2020；Zbl 1478.68126） 全文： DOI程序 arXiv公司 参考文献： [1] 科蒙，H。；Jurski，Y.，《时间自动机与实数理论》，（《CONCUR’99会议录》）。CONCUR’99会议记录，LNCS，第1664卷（1999），Springer），242-257·Zbl 0940.68092号 [2] 科蒙，H。；Jurski，Y.，时间自动机与实数理论（1999年7月），LSV，ENS Cachan，Tech，众议员LSV-99-6 [3] Dima，C.，《计算时间自动机中的可达性关系》，（2002年《LICS学报》，IEEE计算机学会），177 [4] Dang，Z.，《下推时间自动机：二进制可达性表征和安全验证》，Theor。计算。科学。，302, 1-3, 93-121 (2003) ·Zbl 1044.68085号 [5] Krcál，P。；Pelánek，R.，《关于定时系统的采样语义》（FSTTCS’05年会议记录）。FSTTCS’05会议录，LNCS，第3821卷（2005），Springer），310-321·Zbl 1172.68537号 [6] 夸斯，K。；Shirmohammadi，M。；Worrell，J.，《重新审视时间自动机中的可达性》，（《LICS论文集》17（2017），IEEE计算机学会），1-12·Zbl 1457.68147号 [7] 克莱门特，L。；Lasota，S.，《通过量词消去和循环顺序原子实现定时下推自动机的二进制可达性》（ICALP’18会议录）。ICALP’18会议录，LIPIcs，第107卷（2018年），达格斯图尔·莱布尼茨-泽特鲁姆·富尔信息技术学院·Zbl 1499.68169号 [8] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theor。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号 [9] 鲍耶，P.，《无与伦比的时间自动机》！，（STACS’03会议记录。STACS’03会议记录，LNCS，第2607卷（2003），Springer），620-631·Zbl 1035.68511号 [10] 魏斯芬宁，V.，混合实整数线性量词消除，（ISSAC’99（1999），ACM学报），129-136 [11] To，A.W.，Parikh常规语言图像：复杂性和应用，CoRR 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。