×
杜兰德，I。;Sénizergues，G。

单词和术语的自下而上的改写。 （英语） Zbl 1456.68072号

J.塞姆。计算。 67, 93-121 (2015).
摘要：对于整类线性项重写系统，我们定义自下而上重写这是对通常的重写概念的限制。我们表明，自底向上重写有效地保留了可识别性。
这个自下而上类(日分)根据定义，它是一组线性系统，其中的每一个推导都可以被自下而上的推导所取代。自加入以来日分结果证明是不可判定的，我们被引导定义了更多限制类：类\（\mathsf{SBU}（k）\），\（k\in\mathbbN\）强烈自下而上\（k）我们证明其成员资格是可决定的系统。我们定义了强烈自下而上系统由\（\mathsf{SBU}=\bigcup_{k\in\mathbbN}\mathsf{SBU{（k）\）。我们给出了系统处于（mathsf{SBU}）的多项式时间充分条件。类（mathsf{SBU}）包含（严格地）几个已知的反保持可识别性的系统类：逆左基半Thue系统（被视为一元项重写系统）、线性增长项重写系统、逆线性有限路径序系统。

引用于1文件

MSC公司：

第68季度第42季度 语法和重写系统
03年3月 星期四和邮政系统等。

关键词：

术语重写系统;半Thue系统;规则性保存;可达性问题
PDF格式BibTeX公司 XML格式引用
\textit{I.Durand}和\textit{G.Sénizergues}，J.Symb。计算。67、93——121（2015；Zbl 1456.68072）
全文： 内政部

参考文献：

[1] Benois，M.，重写系统类中正则语言的后代：自动机构造的算法和复杂性，（重写技术和应用，重写技术与应用，波尔多，1987）。重写技术与应用。改写技术与应用，波尔多，1987年，Lect。注释计算。科学。，第256卷（1987），《施普林格：柏林施普林格》，121-132·Zbl 0643.68119号
[2] 贝诺伊斯，M。；Sakarovitch，J.，关于取消规则定义的一些扩展词问题的复杂性，Inf.Process。莱特。，23, 6, 281-287 (1986) ·Zbl 0624.68070号
[3] Book，R.公司。；Jantzen，M。；Wrathall，C.，Monadic Thue系统，Theor。计算。科学。，19, 231-251 (1982) ·Zbl 0488.03020号
[4] Brainerd，W.，树木生成规则系统，Inf.Control，14，217-231（1969）·Zbl 0169.31601号
[5] 科蒙，H。；多切特，M。；吉列隆，R。；Jacquemard，F。；Lugiez，D。；蒂森，S。；Tommasi，M.，树自动机技术和应用（2002年），网址：
[6] Cremanns，R。；Otto，F.，有限派生类型意味着同调有限性条件{FP}_3\)，J.Symb。计算。，18, 2, 91-112 (1994) ·兹比尔083420065
[7] 多切特，M。；Heuillard，T。；莱斯坎，P。；Tison，S.，有限基本项重写系统与其他相关项重写系统合流的可判定性，Inf.Compute。，88, 2, 187-201 (1990) ·Zbl 0705.68067号
[8] 多切特，M。；Tison，S.，《地面重写系统的理论是可判定的》（第五LICS（1990），IEEE Compute。Soc.出版社：IEEE计算。加利福尼亚州洛斯阿拉米托斯Soc.Press），242-248
[9] Deruyver，A。；Gilleron，R.，《地面TRS和一些扩展的可达性问题》（TAPSOFT’89）。TAPSOFT’89，巴塞罗那，1989年。塔普索特89。TAPSOFT’89，巴塞罗那，1989年，莱克托。注释计算。科学。，第351卷（1989），《施普林格：柏林施普林格》，227-243
[10] 杜兰德，I。；Middeldorp，A.，术语重写中的可决定的按需调用计算，Inf.Compute。，196, 95-126 (2005) ·Zbl 1101.68628号
[11] 杜兰德，I。；Sénizergues，G.，《自底向上重写是反向可识别性保持》（Proceedings RTA’07）。RTA’07法律程序。注释计算。科学。，第4533卷（2007年），斯普林格-Verlag），114-132·兹比尔1203.68070
[12] 杜兰德，I。；Sénizergues，G.，单词和术语的自下而上重写（2009）·Zbl 1456.68072号
[13] 杜兰德，I。；塞尼泽格斯，G。；Sylvestre，M.，线性有界项重写系统的终止，（Lynch，C.，Proceedings RTA’10）。RTA’10会议记录，LIPIcs（2010），341-356·Zbl 1236.68125号
[14] 杜兰德，I。；Sylvestre，M.，左线性有界项重写系统是逆可识别保持系统（Proceedings RTA’11）。RTA’11会议记录，LIPIcs（2011）），1-12
[15] 富勒普，Z。；Jurvanen，E。；斯坦比，M。；Vágvölgyi，S.，《关于单程项重写》（MFCS（1998）），248-256
[16] Geser，A。；霍夫鲍尔，D。；Waldmann，J.，《匹配边界字符串重写系统》，J.Appl。代数工程通讯。计算。，15, 3-4, 149-171 (2004) ·Zbl 1101.68048号
[17] 盖瑟，A。；霍夫鲍尔，D。；Waldmann，J。；Zantema，H.，《证明左线性项重写系统终止的树自动机》，（《第16届RTA会议录》，《第16期RTA会议记》，《Lect.Notes Compute.Sci.》，第3467卷（2005），Springer-Verlag）·Zbl 1078.68062号
[18] 戈多伊，G。；Tiwari，A。；Verma，R.，《线性浅项重写系统的汇合》（STACS 2003）。STACS 2003，莱克托。注释计算。科学。，第2607卷（2003年），《施普林格：柏林施普林格》，第85-96页·Zbl 1035.68058号
[19] Jacquemard，F.，术语重写系统的可判定近似，（《第七届RTA会议录》，《第七期RTA会议记录》，Lect.Notes Compute.Sci.，第1103卷（1996）），362-376·兹比尔1503.68117
[20] Kambits，M。；Silva，P.V。；Steinberg，B.，关于群的有理子集问题，J.代数，309，2，622-639（2007）·Zbl 1123.20047号
[21] Klop，J.，术语重写系统，（《计算机科学逻辑手册》，第2卷（1992），牛津大学出版社），1-116
[22] Knapik，T。；Calbrix，H.，Thue规范及其一元二阶性质，Fundam。通知。，39, 3, 305-325 (1999) ·兹伯利0941.68069
[23] Lafont，Y.，由完全重写系统提出的幺半群的一个新的有限性条件（继Craig C.Squier之后），J.Pure Appl。代数，98，229-244（1995）·Zbl 0832.20080
[24] M.Lohrey。；Sénizergues，G.，HNN扩展和合并产品中的有理子集，国际代数计算杂志。，18111-163（2008年）·Zbl 1190.20019号
[25] Nagaya，T。；Toyama，Y.，左线性增长项重写系统的可判定性，Inf.Compute。，178, 2, 499-514 (2002) ·Zbl 1049.68075号
[26] 雷蒂，P。；Wuotto，J.，《重写策略的树自动机》，J.Symb。计算。，40, 1, 749-794 (2005) ·Zbl 1129.68036号
[27] Sakarovitch，J.，《乔姆斯基语言语法》，第1-175页（1979），巴黎第七大学博士
[28] Seki，H。；Takai，T。；Y.藤中。；Kaji，Y.，《分层转导项重写系统及其可识别性保持特性》，（《第13届RTA会议录》，《第13期RTA会议记》，《Lect.Notes Compute.Sci.》，第2378卷（2002年），Springer-Verlag）·Zbl 1045.68076号
[29] Sénitergues，G.，《形式语言与词汇重写》，（术语重写，术语重写，罗马字体，1993。术语重写。术语重写，《字体罗密欧》，1993年，Lect。注释计算。科学。，第909卷（1995），《施普林格：柏林施普林格》，75-94
[30] Seynhaeve，F。；蒂森，S。；Tommasi，M.，同态与并发项重写，（FCT（1999）），475-487·Zbl 0945.68099号
[31] Takai，T。；卡吉，Y。；Seki，H.，右线性有限路径重叠重写系统有效地保持了可识别性，Sci。数学。Jpn。。（《第11届RTA会议录》，《第11期RTA会议记录》，《Lect.Notes Compute.Sci.》，第1833卷（2000年）），第71、2、246-260卷（2010年），早期版本：·Zbl 1207.68178号
[32] Terese，《术语重写系统》（2003），剑桥大学出版社·Zbl 1030.68053号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。