克劳斯·舒尔茨。 广义方程的单词统一和转换。 (英语) Zbl 0802.68136号 J.汽车。推理 11,第2期,149-184(1993). 小结:马卡宁的算法表明,一个单词方程是否有解是可以判定的。最初的描述很难理解,并且不是为实现而设计的。由于单词代表一种基本的数据类型,不同的作者给出了改进的描述。在本文中,我们提出了算法的一个版本,如果没有超越马卡宁最初想法的全新见解,该算法可能无法进一步简化。我们给出了一个有效且概念简单的变换,适用于任意广义方程。生成搜索树不需要其他子过程。然后特别注意证明适当的广义方程被转换为适当的广义方程式。这一点对终止论点很重要,但在其他论文中被错误地处理了。我们还表明,字符串统一的基本算法和Makanin算法的结合为终止最小和完全单词统一问题提供了一个简单的解决方案。 引用于1审查引用于16文件 MSC公司: 第68页第15页 定理证明(演绎、解析等)(MSC2010) 03B35型 证明和逻辑操作的机械化 2005年5月20日 自由半群,生成器和关系,单词问题 20立方米 自动机理论、语言学等中的半群。 关键词:统一理论;结合统一;单词方程式;自由半群;字符串统一;马卡宁算法 PDF格式BibTeX公司 XML格式引用 \textit{K.U.Schulz},J.Autom(汽车公司)。推理11,No.2,149--184(1993;Zbl 0802.68136) 全文: 内政部 参考文献: [1] H.阿卜杜拉布?Résolution d’équations sur les mots:练习曲和实现LISP de l’algorithme de Makanin?,Thèse de doctorat,信息实验室,鲁昂,1987年。 [2] Abdullab H.和Pécuchet,J.-P?解单词方程式?,《符号计算杂志》,8499-521(1989)·Zbl 0685.20039号 ·doi:10.1016/S0747-7171(89)80056-2 [3] 啊,A.V?在字符串中查找模式的算法?,《理论计算机科学手册》(J.van Leeuwen主编),爱思唯尔科学出版社,第256-300页,1990年。 [4] F·巴德?统一理论?,《世界方程式及相关主题第一次国际研讨会论文集》,IWWERT’90(K.U.Schulz,ed.),Tübingen,Springer,LNCS 5721990。 [5] V.K.Bulitko?自由群和自由半群中的方程和不等式?,塔尔。戈斯。佩德。仪表U?英语。扎普。Mat.Kafedr Vyp公司。2、几何测量。i代数242-2521970(俄语)(MR52#14045)。 [6] Colmerauer,A?Prolog III?的最终规范?,ESPRIT参考号:P1219 11061988。 [7] 库珀,哥伦比亚特区?不用乘法的算术定理证明?,机器智能,782-95(1972)。 [8] J.I.Hmelevskii?自由半群中的方程?,Trudy Mat.Inst.Steklov,107(1971);英文翻译:Proc。斯特克洛夫数学研究所,107(1971)·Zbl 0326.02032号 [9] Jaffar,J?最小和完整的单词统一?,J.ACM,37(1),47-85(1990)·Zbl 0697.68052号 ·数字对象标识代码:10.1145/78935.78938 [10] 让开?谢尔斯基和帕霍尔斯基?马卡宁算法的复杂性?,弗罗茨瓦夫大学研究报告(1991年);初步版本:?自由群和自由半群中统一的复杂性?,第31届IEEE计算机科学基础年会论文集,洛斯阿拉莫斯,第824-829页,1990年。 [11] A.Lentin?自由幺半群中的方程?,《自动化语言与编程》(M.Nivat,ed.),北荷兰出版社,阿姆斯特丹,第67-85页,1972年。 [12] Lentin,A.和Schützenberger,M.P?自由幺半群理论中的一个组合问题?,《北卡罗来纳大学学报》,128-144(1967)。 [13] Livesey,M.和Siekmann,J?字符串统一的终止性和可判定性结果?,研究论文,埃塞克斯大学,1975年。 [14] 马卡宁,G.S?自由半群中方程的可解性问题?,数学。苏联斯博尼克32(2),129-198(1977)·Zbl 0396.20037号 ·doi:10.1070/SM1977v032n02ABEH002376 [15] 马卡宁,G.S?自由半群中方程秩的识别?,数学。苏联伊兹韦斯蒂亚14(3),499-545(1980)·兹伯利0434.20033 ·doi:10.1070/IM1980v014n03ABEH001143 [16] 马卡宁,G.S?自由半群中的方程?,阿默尔。数学。Soc.翻译。(2),117, 1-6 (1981). ·Zbl 0473.20038号 [17] 佩杜克,J.P?方程avec constantes et algorithme de Makanin?,1981年,鲁昂信息实验室,博士学位。 [18] 普洛金,G?内置方程理论?,机器智能7,73-90(1972)·Zbl 0262.68036号 [19] 舒尔茨,英国?马卡宁算法?两个改进和一个概括?,Habilitationsschrift,CIS-报告91-39,慕尼黑大学。还收录于1990年IWWERT’90,Tübingen,Springer,LNCS 5721990第一届国际单词方程及相关主题研讨会会议记录。 [20] J.西克曼?字符串化?,研究论文,埃塞克斯大学,1975年3月。 [21] J.西克曼?统一和匹配问题?,埃塞克斯大学博士论文,CSA-4-78备忘录,1978年。 [22] J.西克曼?统一理论:调查?,《符号计算杂志》统一专刊(C.Kirchner,ed.),7315-337(1989)·Zbl 0678.68098号 ·doi:10.1016/S0747-7171(89)80012-4 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。