让·H·盖利尔。;罗纳德·V·布克。 树木替换系统中的减少。 （英语） 兹比尔0602.68072 西奥。计算。科学。 37, 123-150 (1985). 研究了称为“约简系统”的某些类型的Church-Rosser树替换系统。引入并研究了具有“范数”的树重写系统的概念。定义了一种新的“树约简机”，它将每个输入树约简为一个不可约树。因此，当考虑的范数是树的大小（节点数）时，有限Church-Rosser约简系统的单词问题在线性时间内是可判定的（在输入树的大小中）。Church-Rosser一元简化系统推广了R.V.书籍[J.Assoc.Comput.Mach.29，171-182（1982；Zbl 0478.68032号)]和R.V.书籍，M.Jantzen先生、和C.愤怒【Theor.Comput.Sci.19，231-251（1982；Zbl 0488.03020号)]也进行了研究。证明了由这样一个系统定义的每个同余类和同余类的每个有限并都被一个确定的自底向上树下推自动机所接受。简要研究了树自动机的这种新形式。 引用于21文件 MSC公司： 65年第68季度 形式语言和自动机 03天 星期四和邮政系统等。 关键词：汇流系统;诺特系统;赋范重写系统;Church-Rosser树更换系统;还原系统;树木减少机;不可约树;单词问题;相同类别;树下推自动机 引文：Zbl 0478.68032号;Zbl 0488.03020号 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Gallier}和\textit{R.V.Book}，Theor。计算。科学。37123-150（1985年；Zbl 0602.68072） 全文： 内政部 参考文献： [1] Berstel，J.，《共识加上parfaites和algébriques语言》，（Séminaire d‘Information que Théorique（1976-1977），编程研究所），123-147 [2] Book，R.V.，Confluent和其他类型的Thue系统，J.ACM，29，1，171-182（1982）·Zbl 0478.68032号 [3] Book，R.V.公司。；Jantzen，M。；Wrathall，C.，Monadic Thue系统，理论。计算。科学。，19, 3, 231-252 (1982) ·Zbl 0488.03020号 [4] Book，R.V.公司。；关，C.，《关于具有两个码字的唯一可解码》，IEEE Trans。计算。，29, 324-325 (1980) ·兹比尔0444.94031 [5] Book，R.V.公司。；O'Dunlaing，C.，《Church-Rosser地产测试》，Theoret。计算。科学。，16, 2, 223-229 (1981) ·Zbl 0479.68035号 [6] Boone，W.，单词问题，Ann.Math。，207-265 (1959) ·兹标0102.00902 [7] Brainerd，W.S.，树生成规则系统，信息与控制，14，217-231（1969）·Zbl 0169.31601号 [8] Church，A。；Rosser，B.，《转换的一些性质》，Trans。阿默尔。数学。《社会学杂志》，39，472-482（1939） [9] Dershowitz，N.，《术语重写系统的订购》，Theoret。计算。科学。，17, 3, 279-301 (1982) ·Zbl 0525.68054号 [10] Doner，J.，Tree acceptor及其一些应用，J.Compute。系统科学。，4, 406-451 (1970) ·Zbl 0212.02901号 [11] Garey，M。；Johnson，D.，《计算机与难治性》（1979），弗里曼：弗里曼旧金山·Zbl 0411.68039号 [12] J.戈根。；Tardo，J.，《OBJ简介：编写和测试形式代数程序规范的语言》，（可靠软件规范Proc.on Specifications for Reliable Software（1979）），170-189 [13] J.戈根。；撒切尔，J.W。；瓦格纳，E。；Wright，E.，《抽象数据类型的规范、正确性和实现的初始代数方法》，（《程序设计方法学的当前趋势》，第4卷（1977年），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州），80-149 [14] Gorn，S.，《明确定义与语言多米诺骨牌》，（Hart，J.；Takasu，S.，《系统与计算机科学》（1965），多伦多大学出版社） [15] Guessarian，I.，Pushdown tree automata（技术报告82-28（1982），LITP，巴黎第七大学）·Zbl 0524.68047号 [16] 霍夫曼，C.M。；O'Donnell，M.，方程编程，TOPLAS，4，1，83-112（1982）·Zbl 0481.68008号 [17] Huet，G.，Confluent reductions:抽象属性及其在术语重写系统中的应用，J.ACM，27，4，797-821（1980）·Zbl 0458.68007号 [18] Huet，G。；Oppen，D.C.，《方程式和重写规则》（Book，R.V.，形式语言理论、观点和开放问题（1980）），349-393 [19] 卡明，S。；Levy，J.J.，递归路径排序的两个推广（1980），伊利诺伊大学计算机科学系：伊利诺伊大学厄巴纳分校计算机科学系，未出版注释 [20] Knuth，D.E。；Bendix，P.B.，《泛代数中的简单单词问题》（Leech，J.，《抽象代数中的计算问题》（1970），佩加蒙出版社：纽约佩加蒙出版公司），263-297·Zbl 0188.04902号 [21] Lankford，D.S。；Ballantyne，A.M.，《带交换公理的简单方程理论的决策程序：交换约简的完整集》（德克萨斯大学数学系：德克萨斯州奥斯汀大学数学系，技术报告（1977））·Zbl 0449.20059 [22] 华盛顿特区兰克福德。；Ballantyne，A.M.，《带置换公理的简单方程理论的决策程序：置换约简的完整集》，（技术报告（1977），德克萨斯大学数学系：德克萨斯州奥斯汀大学数学系）·Zbl 0449.20059 [23] Lankford，D.S。；Ballantyne，A.M.，《具有交换关联公理的简单方程理论的决策程序：交换关联约简的完整集》，（德克萨斯大学数学系：德克萨斯州奥斯汀大学数学系，技术报告（1977））·Zbl 0449.20059 [24] Manna，Z。；Ness，S.，《关于马尔可夫算法的终止》，（夏威夷州火奴鲁鲁市第三届夏威夷国际系统科学会议论文集，夏威夷州第三届系统科学国际会议论文集（1970年）），789-792 [25] 纽曼，M.H.A.，《关于“等价”组合定义的理论》，《数学年鉴》。，43, 223-243 (1943) ·Zbl 0060.1251 [26] 尼瓦特，M。；Benois，M.，《parfaites et quasi-parfaites的一致性》（Séminaires Dubreil，25e Anne（1971）），第7页·Zbl 0338.02018号 [27] O'Donnell，M.，《方程描述的系统中的计算》（计算机科学讲义，58（1978），Springer:Springer New York）·Zbl 0421.68038号 [28] Pelin，A.，《使用复杂函数的初始代数项的范式》（技术报告（1981），坦普尔大学计算机科学系：宾夕法尼亚州坦普尔大学计算科学系） [29] 彼得森，G.E。；Stickel，M.E.，一些方程理论的全套约简，J.ACM，28，2，233-264（1981）·Zbl 0479.68092号 [30] 拉宾，M。；Scott，D.，有限自动机及其决策问题，IBM研究与开发杂志，3，61-91（1969） [31] Rosen，B.K.，树操作系统和Church-Rosser定理，J.ACM，20，1，160-187（1973）·Zbl 0267.68013号 [32] 辛普夫，K.M。；Gallier，J.H.，《使用自下而上树自动机和树下推存储解析树语言》，J.Compute。系统科学。（1985），出庭 [33] Schimpf，K.M.，无上下文树语言的解析方法，（宾夕法尼亚大学计算机与信息科学系博士论文（1982）：宾夕法尼亚大学计算机和信息科学系） [34] 撒切尔，J.W。；Wright，J.B.，广义有限自动机理论及其在二阶逻辑决策问题中的应用，数学。系统理论，2，1，57-81（1968）·兹比尔0157.02201 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。