埃西克，Z。 公理化正则树语言的等式理论。 （英语） Zbl 1184.68315号 J.日志。阿尔盖布。程序。 第2期第79页，189-213页（2010年）. 摘要：我们证明了有限组方程方案与最小不动点规则一起给出了正则树语言有效恒等式的完全公理化。这个结果是Kozen对正则词语言等式理论公理化的推广。 引用于8文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：正则树语言;复代数;公理化 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Ésik｝，J.日志。阿尔盖布。程序。79，第2号，189--213（2010；Zbl 1184.68315） 全文： 内政部 参考文献： [1] Almeida，J.，《关于伪变体、语言变体、同余过滤器、伪恒等式和相关主题》，《普遍代数》，27333-350（1990）·Zbl 0715.08006号 [2] Almeida，J.，《有限半群和泛代数》（1994年），《单词科学》·Zbl 0844.20039号 [3] Archangelsky，K.V。；Gorshkov，P.V.，正则事件代数的蕴涵公理，Dokl。阿卡德。瑙克苏联。A、 10，67-69（1987），（俄语）·Zbl 0626.68059号 [4] H.Bekić，《一般代数中的可定义运算、自动机理论和流程图》，技术报告，IBM实验室，维也纳，1969年。；H.Bekić，《一般代数中的可定义运算以及自动机和流程图理论》，技术报告，IBM实验室，维也纳，1969年。 [5] M.Benedikt，L.Segoufin，可在FO中定义的正则树语言，收录于：STACS 2005，LNCS 3404，Springer，2005，第327-339页。；M.Benedikt，L.Segoufin，可在FO中定义的正则树语言，收录于：STACS 2005，LNCS 3404，Springer，2005，第327-339页·Zbl 1118.03314号 [6] L.Bernátsky，S.L.Bloom，Z.Esik，Gh.Stefanescu，关系和正则集的等式理论，收录于：单词、语言和组合数学，京都，1992年，单词科学，1994年，第40-48页。；L.Bernátsky，S.L.Bloom，Z.Ésik，Gh.Stefanescu，关系和正则集的赤道理论，载于：单词、语言和组合学，京都，1992年，Word Scientific，1994年，第40-48页·Zbl 0874.08002号 [7] 布鲁姆，S.L。；埃西克，Z.，迭代代数，国际。J.发现。计算。科学。，3, 245-302 (1992) ·Zbl 0790.08004号 [8] 布鲁姆，S.L。；埃西克，Z.，正则集的等式公理，数学。结构计算。科学。，3, 1-24 (1993) ·Zbl 0796.68153号 [9] S.L.Bloom，Z.Ésik，《迭代理论：迭代过程的赤道逻辑》，EATCS理论计算机科学专著，施普林格出版社，1993年。；S.L.Bloom，Z.Esik，《迭代理论：迭代过程的等式逻辑》，EATCS理论计算机科学专著，Springer-Verlag，1993年·Zbl 0773.03033号 [10] S.L.Bloom，Z.Esik，解多项式不动点方程，收录于：《计算机科学的数学基础》94。LNCS 841，Springer-Verlag，1994年，第52-67页。；S.L.Bloom，Z.Esik，解多项式不动点方程，收录于：《计算机科学的数学基础》94。LNCS 841，Springer-Verlag，1994年，第52-67页·Zbl 1496.08005号 [11] 布鲁姆，S.L。；Ésik，Z.，不动点逻辑，定理。计算。科学。，179, 1-60 (1997) ·Zbl 0920.03067号 [12] S.L.Bloom，Z.Esik，迭代代数不是有限公理化的。扩展摘要，见：LATIN 2000，LNCS 1776，Springer-Verlag，2000，第367-376页。；S.L.Bloom，Z.Esik，迭代代数不是有限公理化的。扩展摘要，见：LATIN 2000，LNCS 1776，Springer-Verlag，2000，第367-376页·Zbl 0957.08500号 [13] 布鲁姆，S.L。；埃西克，Z.，一个扩张定理及其在形式树级数中的应用，J.Autom。语言梳。，8, 145-185 (2003) ·Zbl 1089.68051号 [14] M.Bojanczyk，L.Segoufin，用一阶逻辑定义的树语言，带有一个量词交替，in：Proc。ICALP 2008，LNCS 5126，Springer，2008，第233-245页。；M.Bojanczyk，L.Segoufin，用一阶逻辑定义的树语言，带有一个量词交替，in：Proc。ICALP 2008，LNCS 5126，Springer，2008，第233-245页·Zbl 1170.03019号 [15] M.Bojanczyk，I.Walukiewicz，表征EF和EX树逻辑，载于：CONCUR 2004，LNCS 3170，Springer，2004，第131-145页。；M.Bojanczyk，I.Walukiewicz，《刻画EF和EX树逻辑》，收录于：CONCUR 2004，LNCS 3170，Springer，2004，第131-145页·Zbl 1097.03504号 [16] Boffa，M.，Une remaque sur les systemes completes d’identityés rationelles，Theor。通知。申请。，24, 419-423 (1990) ·Zbl 0701.68059号 [17] Boffa，M.，《Une condition impliginant takes les identityés rationnelles，Theor》。通知。申请。，29, 515-518 (1995) ·Zbl 0881.68071号 [18] B.Courcelle，G.Kahn，J.Vuillemin，《等价算法与归纳法》，表达式的极小值与类方程递归单纯形，自动机，语言与编程（第二大学，萨尔布吕肯大学，1974年），LNCS 14，Springer，1974年，第200-213页。；B.Courcelle，G.Kahn，J.Vuillemin，《等价算法与归纳法》，《方程类递归单纯形的最小表达式》，《自动机，语言与编程》（萨布吕肯大学第二学院，1974年），LNCS 14，Springer，1974年，第200-213页·兹标0285.68022 [19] H.Comon、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison、M.Tommasi，《树自动机技术与应用》<http://www.grappa.univ-lille3.fr/tata网站/>.; H.Comon、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison、M.Tommasi，《树自动机技术与应用》<http://www.grappa.univ-lille3.fr/tata网站/>. [20] Conway，J.C.，《正则代数与有限机器》（1971），查普曼与霍尔：查普曼和霍尔伦敦·Zbl 0231.94041号 [21] J.W.De Bakker，D.Scott，程序理论，IBM研讨会，维也纳，1969年。；J.W.De Bakker，D.Scott，《程序理论》，IBM研讨会，维也纳，1969年。 [22] Crvenković，S。；I.多林卡。；埃西克，Z.，关于交换正则语言方程的注释，Inform。过程。莱特。，70, 265-267 (1999) ·Zbl 0999.68098号 [23] Crvenković，S。；I.多林卡。；埃西克，Z.，《关于无联合正则语言的方程》，Inform。和计算。，164, 152-172 (2001) ·Zbl 1005.08001号 [24] Engelfriet，J。；Schmidt，E.M.，IO和OI，第一部分，J.Compute。系统科学。，15, 328-353 (1977) ·Zbl 0366.68053号 [25] 埃西克，Z。，迭代和有理代数理论中的恒等式，计算。语言学家。计算。Lang.，14，183-207（1980）·Zbl 0466.68010号 [26] Z.Ésik，用代数理论和迭代的语言对正则森林的公理化，载于：计算理论基础，Szeged，1981，LNCS 117，Springer Verlag，第130-136页。；Z.Esik，代数理论语言中正则森林的公理化与迭代，载于：计算理论基础，Szeged，1981年，LNCS 117，Springer-Verlag，第130-136页·Zbl 0474.68072号 [27] 埃西克，Z.，《迭代理论代数》，J.Compute。系统科学。，27, 291-303 (1983) ·Zbl 0532.68011号 [28] 埃西克，Z。，迭代理论方程公理的独立性，J。计算。系统科学。，36, 66-76 (1988) ·Zbl 0649.68010号 [29] 埃西克，Z。，帕克归纳法的完备性，理论。计算。科学。，177, 217-283 (1997) ·兹比尔0901.68107 [30] 埃西克，Z.，《迭代群公理》，Inform。和计算。，148, 131-180 (1999) ·Zbl 0924.68143号 [31] Z.E-sik，树和理论的多样性定理，LITP报告系列，1997年5月，和Publ。数学。，第54卷，1999年，第711-762页。；Z.E-sik，树和理论的多样性定理，LITP报告系列，1997年5月，和Publ。数学。，第54卷，1999年，第711-762页·Zbl 0981.68085号 [32] Z.Ésik，正则树语言的等式理论公理化（扩展摘要），见：STACS 98（巴黎，1998），LNCS 1373，施普林格，1998，第455-465页。；Z.Esik，正则树语言的等式理论公理化（扩展抽象），载于：STACS 98（巴黎，1998），LNCS 1373，Springer，1998，第455-465页·Zbl 0899.08006号 [33] 埃西克，Z.，连续加性代数和同步树的内射模拟，J.逻辑计算。，12, 271-300 (2002) ·Zbl 1003.06003号 [34] 张爱植，有限树上时序逻辑的代数表征。第一、二和三部分，见《第一届代数信息学国际会议论文集》，塞萨洛尼基，2005年，第53-77、79-99、101-110页。；张爱植，有限树上时序逻辑的代数表征。第一部分、第二部分和第三部分，见《第一届代数信息学国际会议记录》，塞萨洛尼基，2005年，第53-77、79-99、101-110页。 [35] 埃西克，Z。；Labela，A.，代数完备范畴中迭代的等式性质，Theoret。计算。科学。，195, 61-89 (1998) ·Zbl 0903.18003号 [36] 埃西克，Z。；Weil，P.，正则树语言的代数可识别性，Theoret。计算。科学。，340, 291-321 (2005) ·Zbl 1078.68100号 [37] F.Gécseg，M.Steinby，《树木自动机》，Akadémiai Kiadó，布达佩斯，1984年。；F.Gécseg，M.Steinby，Tree Automata，布达佩斯阿卡德迈艾基奥，1984年·Zbl 0537.68056号 [38] Gécseg，F。；Steinby，M.，《树语言》（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第3卷（1997），Springer-Verlag），1-68·Zbl 0396.68041号 [39] J.戈根。；J.撒切尔。；瓦格纳，E。；Wright，J.，《初始代数语义和连续代数》，J.ACM，24，68-95（1977）·Zbl 0359.68018号 [40] I.Guessarian，代数语义学，LNCS 99，施普林格出版社，1981年。；I.Guessarian，代数语义，LNCS 99，Springer-Verlag，1981年·Zbl 0474.68010号 [41] Hurkens，A.J.C。；麦克阿瑟，M。；莫斯科，纽约州。；莫斯，L.S。；惠特尼，G.，《递归方程的逻辑》，J.符号逻辑，63，451-478（1998）·Zbl 0911.03022号 [42] T.Ito，S.Ando，超正则表达式的完整公理系统，载于：信息处理74，日本，北荷兰，Amagasaki，1974年，第661-665页。；T.Ito，S.Ando，超正则表达式的完整公理系统，收录于：Information Processing 74，Amagasaki，Japan，North-Holland，1974年，第661-665页·Zbl 0301.02033号 [43] Kozen，D.，命题演算的结果，定理。计算。科学。，27, 333-354 (1983) ·Zbl 0553.03007号 [44] D.Kozen，Kleene代数和正则事件代数的完备性定理，in：Proc。第六交响曲。《计算机科学中的逻辑》，IEEE出版社，1991年，第214-225页。；D.Kozen，Kleene代数和正则事件代数的完备性定理，in：Proc。第六交响曲。《计算机科学中的逻辑》，IEEE出版社，1991年，第214-225页。 [45] Kozen，D.，Kleene代数和正则事件代数的完备性定理，Inform。和计算。，110, 366-390 (1994) ·Zbl 0806.68082号 [46] Krob，D.，B-有理恒等式的完备系统，Theoret。计算。科学。，89, 207-343 (1991) ·Zbl 0737.68053号 [47] M.Magidor，G.Moran，无限树上的有限自动机，第30号技术报告，希伯来大学，1969年。；M.Magidor，G.Moran，《无限树上的有限自动机》，技术报告第30期，希伯来大学，1969年。 [48] D.Niwinski，等式演算，计算理论（Zaborow，1984），LNCS 208，Springer，1984，pp.169-176。；D.Niwinski，等式演算，计算理论（Zaborow，1984），LNCS 208，Springer，1984，第169-176页·Zbl 0615.03013号 [49] D.Niwinski，关于定点克隆（扩展抽象），in：Proc。ICALP 86，LNCS 226，施普林格出版社，1986年，第464-473页。；D.Niwinski，关于定点克隆（扩展抽象），in：Proc。ICALP 86，LNCS 226，施普林格出版社，1986年，第464-473页·Zbl 0596.68036号 [50] Park，D.M.R.，《定点归纳与程序属性证明》，（Michie，D.；Meltzer，B.，《机器智能》，第5卷（1970），爱丁堡大学出版社），59-78·Zbl 0219.68007号 [51] 佩特科维奇，T。；Salehi，S.，《树语言的积极变体》，Theoret。计算。科学。，347, 1-35 (2005) ·Zbl 1080.68068号 [52] V.Pratt，《行动逻辑与纯归纳》，载于：《人工智能中的逻辑》（阿姆斯特丹，1990），LNCS 478，斯普林格出版社，第97-120页。；V.Pratt，《行动逻辑与纯归纳法》，载于：《人工智能中的逻辑》（阿姆斯特丹，1990年），LNCS 478，斯普林格出版社，第97-120页·Zbl 0814.03024号 [53] Redko，V.N.，《关于规则事件代数关系的确定总体》，乌克兰。Mat.Z.，16，120-126（1964），（俄语）·兹比尔0199.04302 [54] Salehi，S.，可由句法幺半群定义的树语言的种类，网络学报。，17, 21-41 (2005) ·Zbl 1084.68078号 [55] Salomaa，A.，正则事件代数的两个完整公理系统，J.ACM，13，158-169（1966）·Zbl 0149.24902号 [56] M.Steinby，句法代数和各种可识别集合，收录于：Proc。科尔。里尔，1979年，第226-240页。；M.Steinby，句法代数和各种可识别集合，收录于：Proc。科尔。里尔，1979年，第226-240页。 [57] Steinby，M.，《树语言变体理论》（tree Automata and Languages，1992），北荷兰：北荷兰阿姆斯特丹），57-81·Zbl 0798.68087号 [58] Steinby，M.，《树语言的一般变体》，Theoret。计算。科学。，205, 1-43 (1998) ·Zbl 0913.68115号 [59] 撒切尔，J.W。；Wright，J.B.，广义有限自动机理论及其在二阶逻辑决策问题中的应用，数学。系统。理论，257-81（1968）·兹比尔0157.02201 [60] W.Thomas，《树语言研究中的逻辑方面》，《代数与程序设计中的第九类树》，剑桥大学出版社，1984年，第31-49页。；W.Thomas，《树语言研究中的逻辑方面》，《代数与程序设计中的第九类树》，剑桥大学出版社，1984年，第31-49页·Zbl 0557.68051号 [61] W.Thomas，无限对象上的自动机，收录于：《理论计算机科学手册》，第B卷，北荷兰，1992年，第133-191页。；W.Thomas，《无限对象上的自动机》，载于：《理论计算机科学手册》，第B卷，北荷兰，1992年，第133-191页·Zbl 0900.68316号 [62] Tiuryn，J.，固定点与无限长表达式代数，I.正则代数，II。正则代数的克隆，基金。通知。，4（1978/1979），第103-127、317-335页·Zbl 0401.68062号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。