×

概率终止约简系统中的汇流和收敛模等价性。 (英语) Zbl 1452.68095号

摘要:抽象约简系统的收敛性是指给定初始状态的可能导数都以相同的最终状态结束。通过“模等价”来放松这一点意味着这些最终状态不必相同,只需等价于指定的等价关系。
我们将这一概念推广到概率抽象约简系统,将其命名为近似收敛模等价,从而以概率1达到最终状态。我们将其与概率和非概率系统的几乎肯定终止和汇合/收敛的性质联系起来。此外,我们还提供了一种转换方法,用于证明或反驳给定系统的近似收敛模等价性。

MSC公司:

2012年第68季度 语法和重写系统
87年第68季度 计算机科学中的概率(算法分析、随机结构、相变等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Church,A。;Rosser,J.B.,《转换的一些性质》,Trans。美国数学。社会学,39,3,472-482(1936)·格式62.0037.03
[2] 巴德,F。;Nipkow,T.,《术语改写和所有这些》(1999年),剑桥大学出版社·Zbl 0948.68098号
[3] Huet,G.P.,Confluent reductions:抽象属性及其在术语重写系统中的应用,J.ACM,27,4,797-821(1980)·兹比尔0458.68007
[4] 纽曼,M.H.A.,《关于“等价”组合定义的理论》,《数学年鉴》。,43, 2, 223-243 (1942) ·Zbl 0060.1251
[5] Aho,A.V。;Sethi,R。;Ullman,J.D.,《代码优化与有限Church-Rosser系统》(Rustin,R.,《编译器的设计与优化》(1972),普伦蒂斯·霍尔出版社),第89-106页
[6] Curien,P.等人。;Ghelli,G.,《关于弱规范化系统的汇流》(RTA-91(1991)),215-225·Zbl 1503.68097号
[7] Kirkeby,M.H。;Christiansen,H.,概率终止约化系统中的汇流和收敛,(Fioravanti,F.;Gallagher,J.P.,LOPSTR,2017)。LOPSTR 2017,LNCS,第10855卷(2018),斯普林格出版社,164-179·Zbl 1508.68063号
[8] Fruhworth,T.,《约束处理规则》(2009),剑桥大学出版社:剑桥大学出版社·Zbl 1182.68039号
[9] Abdennadher,S.,《操作语义和约束传播规则的汇合》(CP97)。CP97,LNCS,第1330卷(1997),施普林格),252-266
[10] Abdennadher,S。;Frühwirth,T.W。;Meuss,H.,《关于约束处理规则的汇合》(CP96)。CP96,LNCS,第1118卷(1996),施普林格),1-15
[11] Christiansen,H。;Kirkeby,M.H.,约束处理规则中的汇流模等价,(Proietti,M.;Seki,H.,LOPSTR 2014)。修订论文集。2014年洛普斯特。修订论文集,LNCS,第8981卷(2014年),施普林格出版社,41-58·Zbl 1353.68048号
[12] Christiansen,H。;Kirkeby,M.H.,《关于证明约束处理规则的汇流模等价性》,Form.Asp。计算。,29, 1, 57-95 (2017) ·Zbl 1355.68050号
[13] 哈特,S。;沙里尔,M。;Pnueli,A.,概率并发程序的终止,ACM Trans。程序。语言系统。,5, 3, 356-380 (1983) ·Zbl 0511.68009号
[14] Frühwirth,T.W。;Pierro,A.D。;Wiklicky,H.,概率约束处理规则,电子。理论注释。计算。科学。,7615-130(2002年)
[15] 波内兹,O。;Kirchner,C.,概率重写策略。ELAN的应用(Tison,S.,RTA 2002)。RTA 2002,LNCS,第2378卷(2002),施普林格),252-266·Zbl 1045.68577号
[16] 波内兹,O。;Garnier,F.,《证明策略下的积极几乎肯定终止》(Pfenning,F.),RTA 2006。RTA 2006,LNCS,第4098卷(2006),施普林格),357-371·兹比尔1151.68441
[17] 费奥里蒂,L.M.F。;Hermanns,H.,《概率终止:可靠性、完整性和组成性》(POPL 2015(2015)),489-501·Zbl 1345.68104号
[18] Avanzini,M。;美国拉戈。;Yamada,A.,《关于概率术语重写》(Gallagher,J.P.;Sulzmann,M.,FLOPS 2018)。FLOPS 2018,LNCS,第10818卷(2018),施普林格),132-148·Zbl 1507.68140号
[19] Faggian,C.,概率重写:归一化、终止和唯一范式之间的关系,CoRR·Zbl 1528.68160号
[20] Díaz-Caro,A。;Martinez,G.,《概率改写中的融合》,(第十二届逻辑和语义框架与应用研讨会,第十二届应用逻辑和语义架构研讨会,LFSA 2017(2017))·Zbl 1433.68189号
[21] 斯奈尔斯,J。;Schreye,D.D.,CHRiSM项目的概率终止,(LOPSTR 2011(2011)),221-236·Zbl 1377.68067号
[22] Weisstein,E.W.,q-Pochhammer符号,《数学世界-Wolfram网络资源》(2017)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。