×
约斯特·恩格尔弗里特

基项重写系统的派生树。 （英语） Zbl 1045.68580号

Inf.计算。 152，第1期，第1-15页（1999年）.
摘要：在基项重写系统中引入了派生树的概念。利用标准树语言理论，对一些旧结果给出了新的证明。

引用于1审查
引用于9文件

MSC公司：

2012年第68季度 语法和重写系统
2005年5月20日 自由半群，生成器和关系，单词问题
PDF格式BibTeX公司 XML格式引用
\textit{J.Engelfriet}，Inf.计算。152，第1号，1--15（1999；Zbl 1045.68580）
全文： 内政部

参考文献：

[1] Brainerd，W.S.，树生成规则系统，Inform。和控制，14217-231（1969）·Zbl 0169.31601号
[2] Büchi，J.R.，正则正则系统，Archiv-Math。Logik Grund.公司。，6, 91-111 (1964) ·Zbl 0129.26102号
[3] Coquide，J.L。；多切特，M。；吉列隆，R。；Vágvölgyi，S.，《自下而上树下推自动机：与重写系统的分类和连接》，Theoret。计算。科学。，127, 69-98 (1994) ·Zbl 0805.68083号
[4] Coquide，J.L。；Gilleron，R.，地面重写系统的证明和可达性问题，（Dassow，J.；Kelemen，J.，《理论计算机科学的方面和前景》，理论计算机科学方面和前景，计算机科学讲稿，464（1990），Springer-Verlag:Springer-Verlag Berlin），120-129·Zbl 0735.68047号
[5] 多切特，M。；Tison，S.，基项重写系统合流的可判定性，（Budach，L.，Proc.FCT’85。程序。FCT’85，《计算机科学讲义》，199（1985），施普林格出版社：施普林格出版社，柏林），80-89·兹比尔0579.68023
[6] 多切特，M。；Tison，S.，《地面重写系统的理论是可判定的》，Proc。第五届IEEE研讨会。《计算机科学中的逻辑》（LICS），费城（1990年），第242-248页
[7] Dershowitz，N.，《线性重写系统的终止》（Even，S.；Kariv，O.，Proc.ICALP’81）。程序。ICALP’81，计算机科学讲义，115（1981），Springer-Verlag:Springer-Verlag Berlin），448-458·Zbl 0465.68009号
[8] 多切特，M。；Heuillard，T。；莱斯坎，P。；Tison，S.，有限基本项重写系统与其他相关项重写系统合流的可判定性，Inform。和计算。，88, 187-201 (1990) ·Zbl 0705.68067号
[9] 弗雷泽，M。；佩奇，C.D.，《前缀语法：正则语言的另一种表征》，Inf.Proc。莱特。，51, 67-71 (1994) ·Zbl 0813.68125号
[10] 富勒普，Z。；Vágvölgyi，S.，同余树语言与可识别的树语言相同，这是D.Kozen，Bull的一个定理的证明。EATCS，39，175-185（1989）·Zbl 0693.68046号
[11] Gécseg，F。；Steinby，M.，Tree Automata（1984），阿卡德。基多：阿卡德。基多布达佩斯·Zbl 0537.68056号
[12] Gécseg，F。；Steinby，M.，《树语言》（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第3卷：超越文字（1997），Springer-Verlag:Springer-Verlag Berlin）·Zbl 0396.68041号
[13] Greibach，S.A.，关于下推存储自动机和常规系统的注释，Proc。阿默尔。数学。《社会学杂志》，第18期，第263-268页（1967年）·Zbl 0183.01703号
[14] Harrison，M.A.，《形式语言理论导论》（1978），Addison-Wesley：Addison-Whesley阅读·Zbl 0411.68058号
[15] Huet，G。；Lankford，D.S.，《术语重写系统的一致暂停问题》。关于术语重写系统的一致暂停问题，Rapport Laboria，283（1978），IRIA
[16] Huet，G。；Oppen，D.C.，《等式和重写规则——一项调查》（Book，R.V.，形式语言理论：观点和开放问题（1980），学术出版社：纽约学术出版社），349-405
[17] Jacquemard，F.，术语重写系统的可判定近似，（Ganzinger，H.，Proc.RTA’96）。程序。RTA'96，《计算机科学讲义》，1103（1996），施普林格出版社：施普林格出版社，柏林），362-376·兹比尔1503.68117
[18] Oyamaguchi，M.，地面术语书写系统的Church-Rosser属性是可判定的，Theoret。计算。科学。，49, 43-79 (1987) ·兹伯利0641.68044
[19] Salomaa，A.，《计算与自动化》（1985），剑桥大学出版社：剑桥大学出版社·Zbl 0565.68046号
[20] Vágvölgyi，S.，识别同余树语言的构造树自动机的快速算法，Theor。计算。科学。，115, 391-399 (1993) ·Zbl 0781.68081号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。