尤罕·博伊库特;库比斯,罗密欧;希姆,皮尔雷·科里尔;奥尔加·库什纳伦科 完成树自动机时处理非左线性规则。 (英语) Zbl 1187.68290号 发现的国际期刊。计算。科学。 20,第5期,837-849(2009). 摘要:本文讨论了树正则模型检验的以下一般问题:决定\(\mathcal R^*(\mathcal L)\cap\mathcalL_p=\emptyset)其中\都是常规树语言。我们开发了一种基于自动近似的技术,用于在术语重写系统规则非左线性的情况下处理这个通常无法确定的问题。 引用于2文件 MSC公司: 65年第68季度 形式语言和自动机 关键词:重写技术;树自动机;左线性;安全 软件:廷巴克 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boichut}等人,国际期刊发现。计算。科学。20,编号5837--849(2009;Zbl 1187.68290) 全文: 内政部 参考文献: [1] 内政部:10.1007/3-540-45657-0_47·doi:10.1007/3-540-45657-047 [2] DOI:10.1017/CBO9781139172752·Zbl 0948.68098号 ·doi:10.1017/CBO9781139172752 [3] DOI:10.1016/j.ipl.2008.03.012·Zbl 1186.68280号 ·doi:10.1016/j.ipl.2008.03.012 [4] DOI:10.1007/3-540-445657-0_46·doi:10.1007/3-540-45657-0_46 [5] Comon H.,树自动机技术与应用(2002) [6] Cortier V.,《计算机安全杂志》,第14页,第1页·Zbl 05430209号 ·doi:10.333/JCS-2006-14101 [7] N.Dershowitz和J.P.Jouannaud,《理论计算机科学手册,重写系统》(Elsevier Science Publishers B.V,1990)pp。244–320. ·Zbl 0900.68283号 [8] Feuillade G.,《自动推理杂志》33 [9] Gilleron R.,《基础信息学》第24卷第157页—— [10] 霍普克罗夫特J.,《自动机理论、语言和计算导论》(1979)·Zbl 0426.68001号 [11] DOI:10.1016/j.entcs.2004.07.017·doi:10.1016/j.entcs.2004.07.017 [12] Réty P.,选举人。注释Theor。计算。科学70 [13] Salomaa K.,JCSS:《计算机与系统科学杂志》第37页– 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。