埃西克,Z。 迭代的组公理。 (英语) Zbl 0924.68143号 Inf.计算。 148,第2期,131-180(1999). 摘要:迭代理论为理论计算机科学的许多模型中的迭代(或不动点)操作的方程性质提供了一个完善的公理化,包括有序和度量结构、树和同步树。所有已知的迭代理论的等式公理化都由康威理论的一小组等式公理和一个复杂的方程组,即交换恒等式组成。在这里,我们将一个恒等式与每个有限半群相关联。我们证明了由Conway恒等式和与有限(简单)群相关联的群恒等式组成的集是完备的。此外,我们证明了Conway恒等式和与有限半群的一个子类相关联的半群恒等式的子集合是完全的,如果每个有限(简单)群划分子类中的一个半群。我们还提出了一个猜想并研究了它的结果。结果是Krob正则集方程理论公理化的推广\(版权所有)学术出版社。 引用于35文件 MSC公司: 65年第68季度 形式语言和自动机 关键词:迭代 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik},信息计算。148,第2号,131--180(1999;Zbl 0924.68143) 全文: 内政部 参考文献: [1] 伯纳茨基,L。;埃西克,Z。,《流程图程序的语义和自由康韦理论》,RAIRO Theoret。通知。申请。,32, 35-78 (1998) [2] 布鲁姆,S.L。;艾尔戈特,C.C。;Wright,J.B.,迭代方程的解和标量迭代运算的扩展,SIAM J.Compute。,9, 26-45 (1980) ·Zbl 0454.18011号 [3] 布鲁姆,S.L。;艾尔戈特,C.C。;Wright,J.B.,定点迭代理论中的向量迭代,SIAM J.Compute。,9, 525-540 (1980) ·Zbl 0461.68047号 [4] 布鲁姆,S.L。;埃西克,Z。,《迭代理论:迭代过程的等式逻辑》。迭代理论:迭代过程的等式逻辑,EATCS理论计算机科学专著(1993),Springer-Verlag:Springer-Verlag Berlin·Zbl 0796.68153号 [5] 布鲁姆,S.L。;埃西克,Z。,《迭代理论的一些准变量》,《程序设计语义学的数学基础》93。《程序设计语义学的数学基础学报》93,LNCS 802(1994),《Springer-Verlag:Springer-Verlag Berlin》,第378-409页·Zbl 1509.68047号 [6] 布鲁姆,S.L。;埃西克,Z。,《求解多项式不动点方程》,《计算机科学数学基础学报》,94年。《计算机科学数学基础》94年版,LNCS 841(1994),施普林格出版社:施普林格出版社,柏林,第52-67页·Zbl 1496.08005号 [7] Conway,J.C.,《正则代数与有限机器》(1971),查普曼与霍尔:查普曼和霍尔伦敦·Zbl 0231.94041号 [8] 艾伦伯格,S.,《自动化、语言和机器》(1976),学术出版社:纽约学术出版社·Zbl 0359.94067号 [9] 艾伦伯格,S.类别\(C\);艾伦伯格,S.类别\(C\) [10] Elgot,C.C.,《一元计算和迭代代数理论》,《逻辑学术讨论会论文集》,73年。《73年逻辑学术讨论会论文集,逻辑研究》,80(1975),北荷兰:北荷兰阿姆斯特丹,175-230页·Zbl 0327.02040号 [11] 艾尔戈特,C.C。;布鲁姆,S.L。;Tindell,R.,《关于有根树的代数结构》,J.Compute。系统科学。,16, 362-399 (1978) ·Zbl 0389.68007号 [12] 埃西克,Z。,迭代和有理代数理论中的恒等式,计算语言学和计算机语言,14,183-207(1980)·Zbl 0466.68010号 [13] Ésik,Z.,迭代理论的等式公理的独立性,J.Comput。系统科学。,36, 66-76 (1988) ·Zbl 0649.68010号 [14] 埃西克,Z。,帕克归纳法的完备性,理论。计算。科学。,177, 217-283 (1997) ·兹比尔0901.68107 [15] 埃西克,Z。Krohn-Rowdes分解定理的一个证明;埃西克,Z。Krohn-Rowdes分解定理的证明·Zbl 0944.68089号 [16] Esik,Z.公理化迭代类别,《计算机学报》。;埃西克,Z。公理化迭代类别,《计算机学报》。 [17] 埃西克,Z。迭代群公理的幂,国际代数计算杂志。;埃西克,Z。迭代群公理的力量,国际代数计算杂志·Zbl 0924.68143号 [18] 埃西克,Z。;Labela,A.,代数完备范畴中迭代的等式性质,Theoret。计算。科学。,195, 61-89 (1988) ·Zbl 0903.18003号 [19] 埃西克,Z。;维拉,J.,《关于具有身份的自动机产品》,《计算机学报》。,7,299-311(1986年)·Zbl 0621.68039号 [20] Ginzburg,A.,《自动机代数理论》(1968),学术出版社:纽约学术出版社·Zbl 0195.02501号 [21] Goguen,J.A。;撒切尔,J.W。;瓦格纳,E.G。;Wright,J.B.,《初始代数语义和连续代数》,J.Assoc.Compute。机器。,24, 68-95 (1977) ·兹比尔0359.68018 [22] 戈兰,J.S.,《半环理论及其在计算机科学中的应用》(1992),朗曼:朗曼-哈洛·Zbl 0780.16036号 [23] Guessarian,I.,代数语义学。代数语义,LNCS 99(1981),Springer-Verlag:Springer-Verlag Berlin·Zbl 0474.68010号 [24] Hurkens,A.J.C.McArthur,M.Moschovakis,Y.N.Moss,L.Whitney,G.递归方程的逻辑,J.符号逻辑;Hurkens,A.J.C.McArthur,M.Moschovakis,Y.N.Moss,L.Whitney,G.递归方程的逻辑,J.符号逻辑·Zbl 0911.03022号 [25] Kozen,D.,Kleene代数和正则事件代数的完备性定理,Inform。和计算。,110, 366-390 (1994) ·Zbl 0806.68082号 [26] Krob,D.,B-有理恒等式的完备系统,Theoret。计算。科学。,89, 207-343 (1991) ·Zbl 0737.68053号 [27] Lawvere,F.L.,代数理论的函数语义,Proc。美国国家科学院。科学。,50, 869-873 (1963) ·Zbl 0119.25901号 [28] Lallement,G.,《半群和组合应用》(1979),Wiley-Interscience:Wiley-Interscience,纽约·Zbl 0421.20025 [29] Manes,E.G.,《谓词变换语义》(1992),剑桥大学出版社:剑桥大学出版社·兹比尔0784.68003 [30] Milner,R.,《通信系统微积分》。通信系统微积分,LNCS 92(1980),Springer-Verlag:Springer-Verlag Berlin·Zbl 0452.68027号 [31] Milner,R.,一类正则行为的完整推理系统,J.Compute。系统科学。,28, 439-466 (1984) ·Zbl 0562.68065号 [32] Moschovakis,Y.N.,《抽象递归作为算法理论的基础》,《会议录》,83年亚琛逻辑学术讨论会。《83年亚琛逻辑学术讨论会论文集》,LNM 1104(1983),《施普林格-弗拉格:柏林施普林格》,第289-364页·Zbl 0599.03052号 [33] Nelson,E.,《迭代代数》,Theoret。计算。科学。,25, 67-94 (1983) ·Zbl 0533.03014号 [34] Park,D.M.R.,《定点归纳和程序属性证明》,机器智能5(1970),爱丁堡大学出版社:爱丁堡学院出版社,第59-78页·Zbl 0219.68007号 [35] Plotkin,G.D.,《领域》。领域,讲稿(1983),计算机科学系:爱丁堡大学计算机科学系 [36] Sewell,P.,双模拟不是有限的(一阶)等价公理化的,《计算机科学中的逻辑》,第9期(1994),第62-70页 [37] Tiuryn,J.,《不动点与无限长表达式代数》,第一部分:正则代数,基金会。通知。,2, 103-128 (1978) ·Zbl 0401.68062号 [38] Tiuryn,J.,《唯一不动点与最小不动点》,Theoret。计算。科学。,12, 229-254 (1980) ·Zbl 0439.68026号 [39] Winskel,G.,《编程语言的形式语义》。《编程语言的形式语义》,《计算基础系列》(1993),麻省理工学院出版社:麻省理学院出版社剑桥·Zbl 0919.68082号 [40] Wright,J.B。;撒切尔,J.W。;J.戈根。;瓦格纳,E.G.,有理代数理论和不动点解,第17届IEEE交响乐会论文集。计算基础,德克萨斯州休斯顿(1976)·Zbl 0361.68041号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。