×

加权时间自动机的MSO逻辑。 (英语) Zbl 1258.68089号

摘要:我们的目的是将Büchi关于可识别语言和MSO可定义语言重合的基本定理推广到加权时间设置。为此,我们研究了加权时间自动机,并展示了如何用从任意半环中获取的权重来扩展Wilke的相对距离逻辑。我们证明了我们逻辑中的每个公式都可以有效地转换为加权时间自变量,反之亦然。结果表明加权时间自动机的鲁棒性,也可用于规范目的。

MSC公司:

65年第68季度 形式语言和自动机
05年3月 与逻辑问题相关的自动机和形式文法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alur R,Dill DL(1994)时间自动机理论。计算机科学理论126(2):183–235·Zbl 0803.68071号 ·doi:10.1016/0304-3975(94)90010-8
[2] Alur R,La Torre S,Pappas GJ(2004)加权时间自动机中的最优路径。《计算机科学》318:297–322·Zbl 1068.68080号 ·doi:10.1016/j.tcs.2003.10.38
[3] Alur R,Madhusudan P(2004)《时间自动机的决策问题:一项调查》。收录人:Bernardo M,Corradini F(eds)SFM-RT.LNCS,第3185卷。柏林施普林格,第1-24页·兹比尔1105.68057
[4] Behrmann G、Fehnker A、Hune T、Larsen K、Pettersson P、Romijn J、Vaandrager F(2001)定价时间自动机的最小成本可达性。收件人:Di Benedetto MD,Sangiovanni-Vincentelli A(eds)HSCC。LNCS,第2034卷。柏林施普林格,第147-161页·兹比尔0991.68037
[5] Bollig B,Meinecke I(2007)加权分布式系统及其逻辑。在:Artëmov SN,Nerode A(eds)LFCS。LNCS,第4514卷。柏林施普林格,第54–68页·Zbl 1133.68052号
[6] Bouyer P,Brihaye T,Bruyère V,Raskin J-F(2007)关于加权时间自动机上的最优可达性问题。表格方法系统设计31(2):135–175·Zbl 1129.68039号 ·doi:10.1007/s10703-007-0035-4
[7] Bouyer P,Brihaye T,Markey N(2006)加权时间自动机的改进不可判定性结果。Inf过程Lett 98(5):188–194·Zbl 1187.68291号 ·doi:10.1016/j.ipl.20006.01.012
[8] Bouyer P,Larsen KG,Markey N(2008)模型检验单时钟定价时间自动机。日志方法计算科学4:1–28·Zbl 1149.68401号
[9] Bouyer P,Markey N(2007)成本高昂!收录:Raskin J-F,Thiagarajan PS(eds)FORMATS。LNCS,第4763卷。柏林施普林格,第53-68页·Zbl 1142.68045号
[10] Büchi JR(1960)关于限制二阶算法中的一种决策方法。收录:Nagel E等人(编辑)关于逻辑、方法论和科学哲学的实习生大会。斯坦福大学出版社,斯坦福,第1-11页
[11] Chiplunkar A,Narayanan Krishna S,Jain C(2009)在一个时钟定价的时间自动机上使用多约束模式的模型检查逻辑WCTL。收录:Ouaknine J,Vaandrager FW(eds)FORMATS。LNCS,第5813卷。柏林施普林格,第88–102页·兹比尔1262.68109
[12] Droste M,Gastin P(2005)加权自动机和加权逻辑。收件人:Caires L、Italiano GF、Monteiro L、Palamidessi C、Yung M(编辑)ICALP。LNCS,第3580卷。柏林施普林格,第513–525页
[13] Droste M,Gastin P(2009)加权自动机和加权逻辑。收录:Droste M、Kuich W、Vogler H(编辑)《加权自动机手册》。EATCS理论计算机科学专著。柏林施普林格,第175-211页
[14] Droste M,Quaas K(2008)加权时间自动机的Kleene-Schützenberger定理。收件人:Amadio RM(ed)FoSSaCS。LNCS,第4962卷。柏林施普林格,第142-156页·Zbl 1139.68031号
[15] Droste M,Rahonis G(2006)《无限单词上的加权自动机和加权逻辑》。In:Ibarra OH,Dang Z(编辑)语言理论的发展。LNCS,第4036卷。柏林施普林格,第49-58页·Zbl 1227.68053号
[16] Droste M,Vogler H(2006)加权树自动机和加权逻辑。计算机科学理论366(3):228–247·Zbl 1154.68068号 ·doi:10.1016/j.tcs.206.08.025文件
[17] D’Souza D(2003)事件时钟自动机的逻辑特征。国际J发现计算科学14(4):625–640·Zbl 1101.68647号 ·doi:10.1142/S0129054103001923
[18] Furia CA,Rossi M(2008)《具有有限可变性的MTL:可决定性和复杂性》。收录:Cassez F,Jard C(编辑)格式。LNCS,第5215卷。柏林施普林格,第109-123页·Zbl 1171.03312号
[19] Mathissen C(2007)文本的可定义转义和加权逻辑。摘自:Harju T,Karhumäki J,LepistöA(eds)语言理论的发展。LNCS,第4588卷。柏林施普林格,第324-336页·Zbl 1202.68234号
[20] Mathissen C(2008)《嵌套词和代数形式幂级数的加权逻辑》。收录:Aceto L、Damgórd I、Goldberg L Ann、Halldórsson MM、Ingólfsdóttir A、Walukiewicz I(eds)ICALP(2)。LNCS,第5126卷。柏林施普林格,第221-232页
[21] Mäurer I(2006)加权图像自动机和加权逻辑。收件人:Durand B,Thomas W(编辑)STACS。LNCS,第3884卷。柏林施普林格,第313–324页·Zbl 1136.68421号
[22] Meinecke I(2006)《痕迹加权逻辑》。收件人:Grigoriev D、Harrison J、Hirsch EA(eds)CSR。LNCS,第3967卷。柏林施普林格,第235-246页·兹比尔1185.68450
[23] Quaas K(2009)加权时间自动机的Kleene-Schützenberger和Büchi定理。莱比锡大学信息学院Abteilung Automaten und Sprachen博士论文
[24] Quaas K(2009)加权定时MSO逻辑。摘自:Diekert V,Nowotka D(eds)DLT 2009,Proceedings。LNCS,第5583卷。柏林施普林格,第419-430页·Zbl 1247.03069号
[25] Alur R,Henzinger TA(1990)《实时逻辑:复杂性和表现力》。摘自:IEEE第五届计算机科学逻辑年会。IEEE计算机学会出版社,华盛顿,第390-401页
[26] Thomas W(1990)关于无限对象的自动机。收录:van Leeuwen J(ed)理论计算机科学手册,B卷:形式模型和语义(B)。爱思唯尔和麻省理工学院出版社,阿姆斯特丹/剑桥,第133-192页
[27] 托马斯·W(1997)《语言、自动机和逻辑》。收录于:Rozenberg G,Salomaa A(eds)正式语言手册。柏林施普林格,第389–485页
[28] Wilke T(1994)《Automaten und Logiken zur Beschreibung zeitabhängiger Systeme》。基尔大学克里斯蒂安·阿尔布雷希特分校博士论文
[29] Wilke T(1994)在强大的可判定逻辑和时间自动机中指定时间状态序列。在:Langmaack H、de Roever W-P、Vytopil J(eds)实时和容错系统中的形式化技术,德国吕贝克。LNCS,第863卷。柏林施普林格,第694-715页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。