×
阿德里亚·加斯科恩；吉勒姆·戈多伊；佛罗伦萨·杰克马尔

树自动机语言在最内层重写下的闭包。 （英语） Zbl 1294.68103号

Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237，23-38（2009）。
摘要：术语重写系统（TRS）的正则性保护表明，树自动机（TA）语言中的可达术语集（又称正则术语集）也是一种TA语言。这是一个重要而有用的属性，已经有很多工作在识别TRS类以确保它；不幸的是，对于像浅TRS这样的TRS受限类，正则性并没有得到保留。然而，对于像最内层策略这样的重要重写策略，这个属性还没有被研究过，它对应于编程语言的逐值计算。{}我们证明了TA语言中由浅TRS生成的最内层可达项集不一定是正则的，但它可以被兄弟之间具有等式和不等式约束的TA所识别。因此，我们通过最内层重写和浅TRS得出TA语言中可达项集正则性的可判定性。这一结果与我们证明不可判定的普通（不一定是最内层）重写相反。我们还表明，与普通重写一样，使用线性和右浅TRS的最内层重写保持了规则性。
关于整个系列，请参见[Zbl 1280.68031号].

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机
2012年第68季度 语法和重写系统

关键词：

项重写；树自动机；重写策略
PDF格式BibTeX公司 XML格式引用
\textit{A.Gascon}等人，《电子》。注释Theor。计算。科学。237、23--38（2009年；Zbl 1294.68103）
全文： 内政部

参考文献：

[1] Bogaert，B。；Seynhaeve，F。；Tison，S.，具有兄弟之间比较的树自动机的可识别性问题，（第二届软件科学和计算结构基础国际会议。第二届软件科学和计算结构基础国际会议，（FoSSaCS）。第二届软件科学和计算结构基础国际会议。第二届软件科学和计算结构基础国际会议，（FoSSaCS），《计算机科学讲义》，第1578卷（1999年3月），施普林格出版社，150-164·Zbl 0942.68067号
[2] B.Bogaert和S.Tison。树自动机中直接子方根上的等式和不等式约束。在计算机科学理论方面国际研讨会（STACS）; B.Bogaert和S.Tison。树自动机中直接子方根上的等式和不等式约束。在计算机科学理论方面国际研讨会（STACS）·Zbl 1493.68183号
[3] 科蒙，H。；多切特，M。；吉列伦，R。；Jacquemard，F。；Lugiez，D。；蒂森，S。；Tommasi，M.，树自动机技术和应用（2007），在线阅读：
[4] 北卡罗来纳州德肖维茨。；Jouannaud，J.P.，重写系统，（《理论计算机科学手册》（第B卷：形式模型和语义）（1990年），北荷兰），243-320·Zbl 0900.68283号
[5] 杜兰德，I。；Sénizergues，G.，自下而上重写是一种逆可识别性保持，（第18届术语重写与应用国际会议，第18届国际术语重写和应用会议，RTA）。第十八届国际术语改写和应用会议。第18届国际术语改写和应用会议，（RTA），LNCS，第4533卷（2007年），斯普林格出版社，107-121·Zbl 1203.68070号
[6] 吉列伦，R。；Tison，S.，《正则树语言和重写系统》，Fundam。通知。，24, 1/2, 157-174 (1995) ·Zbl 0839.68053号
[7] G.Godoy、A Gascon和F Jacquemard。内在重写下树自动机语言的封闭。实验室规范与验证，研究报告编号08-312008。http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_lsv/PDF/rr-lsv-2008-30.PDF; G.Godoy、A Gascon和F Jacquemard。内在重写下树自动机语言的封闭。实验室规范与验证，研究报告编号08-312008。http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_lsv/PDF/rr-lsv-2008-30.PDF
[8] 戈多伊，G。；Huntingford，E.，对于浅项重写系统，Innermost可达性和Innermost可结合性是可判定的（第18届术语重写和应用国际会议，第18届国际术语重写与应用会议，RTA）。第十八届国际术语改写和应用会议。第18届国际术语改写和应用会议，（RTA），LNCS，第4533卷（2007），施普林格：施普林格六月），184-199·Zbl 1203.68073号
[9] 戈多伊，G。；亨廷福德，E。；Tiwari，A.，《使用右平面规则终止改写》，（第18届国际术语改写与应用会议，第18届术语改写和应用国际会议，（RTA）。第十八届国际术语改写和应用会议。第18届国际术语改写和应用会议，（RTA），LNCS，第4533卷（2007），Springer，200-213·兹比尔1203.68074
[10] 戈多伊，G。；Tiwari，A.，浅右线性重写系统的汇流，（第19届计算机科学逻辑国际研讨会。第19届计算机科学逻辑国际研讨会，（CSL）。第19届计算机科学逻辑国际研讨会。第19届计算机科学逻辑国际研讨会，（CSL），LNCS，第3634卷（2005），斯普林格出版社，541-556·Zbl 1136.68411号
[11] Jacquemard，F.，《重写系统的可判定近似》，（第七届重写技术与应用国际会议，第七届国际重写技术和应用会议，RTA）。第七届改写技术和应用国际会议。第七届改写技术与应用国际会议，（RTA），LNCS，第1103卷（1996），Springer，362-376·Zbl 1503.68117号
[12] 小岛、吉原；Sakai，Masahiko，线性右浅项重写系统的内点可达性和上下文相关可达性是可判定的（第19届重写技术和应用国际会议，第19届国际重写技术与应用会议，RTA）。第19届改写技术和应用国际会议。第19届改写技术与应用国际会议，（RTA），LNCS，第5117卷（2008），施普林格出版社，187-201年·Zbl 1145.68449号
[13] 三桥，I。；小山口，M。；Jacquemard，F.，平面TRS的汇流问题，（第八届国际人工智能与符号计算会议，第八届人工智能与象征计算国际会议，AISC）。第八届国际人工智能与符号计算大会。第八届国际人工智能与符号计算大会，（AISC），LNAI，第4120卷（2006），施普林格出版社，68-81·Zbl 1156.68433号
[14] Nagaya，T。；Toyama，Y.，《左线性增长项重写系统的可决定性》，（第十届重写技术和应用国际会议，第十届国际重写技术与应用会议，（RTA）。第十届改写技术和应用国际会议。第十届改写技术与应用国际会议，（RTA），LNCS，第1631卷（1999），Springer，256-270·Zbl 0943.68091号
[15] Salomaa，K.，《确定性树下推自动机和一元树重写系统》，J.Compute。系统。科学。，37, 367-394 (1988) ·Zbl 0668.68084号
[16] T.Takai、Y.Kaji和H.Seki。右线性有限路径重叠项重写系统有效地保持了可识别性。在第十一届改写技术与应用国际会议（RTA）LNCS公司; T.Takai、Y.Kaji和H.Seki。右线性有限路径重叠项重写系统有效地保持了可识别性。在第十一届改写技术与应用国际会议（RTA）LNCS公司·Zbl 0964.68073号
[17] Brainerd，W.S.，树生成规则系统，信息与控制，4217-231（1969）·Zbl 0169.31601号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。