×
沃尔克·迪克特;尤里·马蒂亚塞维奇;安卡·穆斯科尔

解模部分交换的字方程。 （英语） Zbl 0930.68074号

西奥。计算。科学。 224，第1-2号，215-235（1999）.
摘要：证明了自由部分交换幺半群上的方程是否有解是可判定的。我们用正规形式证明了这个结果。我们的方法是将一个跟踪方程组直接简化为具有正则约束的词方程组。在此，我们将Makanin关于单词方程可判定性的定理推广到具有正则约束的单词方程，这是由于Schulz。

引用于6文件

理学硕士：

65年第68季度 形式语言和自动机

关键词：

单词方程式;部分换向;踪迹;带正则约束的单词方程
PDF格式BibTeX公司 XML格式引用
\textit{V.Diekert}等人，Theor。计算。科学。224，编号1--2，215--235（1999；Zbl 0930.68074）
全文： 内政部

参考文献：

[1] 伊利诺伊州阿尔伯斯堡。J。；Hoogeboom，H.J.，正则跟踪语言某些问题的可判定性特征，数学。系统理论，22，1-19（1989）·Zbl 0679.68132号
[2] 阿尔瓦雷斯，C。；Gabarró，J.，两个并发问题的并行复杂性，Inform。过程。莱特。，38, 61-70 (1991) ·Zbl 0734.68044号
[3] 阿尼西莫夫。；Knuth，D.E.，《非均匀排序》，国际。J.计算。通知。科学。，8255-260（1979年）·Zbl 0423.68027号
[4] Büchi，J.R。；Senger，S.，《级联存在主义理论中的可定义性和该理论的不可判定扩展》，Z.Math。Logik Grundlagen d.数学。，34, 337-342 (1988) ·Zbl 0635.03006号
[5] 卡地亚，P。；Foata，D.，Problèmes combinetoires de communication et réarrangements，（数学课堂讲稿，第85卷（1969），施普林格：施普林格-柏林）·Zbl 0186.30101号
[6] Choffrut，C.，迹幺半群中的组合数学I，（Diekert，V.；Rozenberg，G.，《迹书》（1995），世界科学：世界科学新加坡），71-82，第3章
[7] 乔夫鲁特，C。；Karhumäki，J.，《单词组合学》（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997），施普林格：施普林格-柏林），329-438·Zbl 0866.68057号
[8] Diekert，V。；Yu Matiyasevich。；Muscholl，A.，使用字典正规形式求解跟踪方程，（Degano，P.；et al.，Proc.第24届自动机、语言和编程国际学术讨论会（ICALP’97）。程序。第24届国际。自动机、语言和程序设计学术讨论会（ICALP’97），博洛尼亚（意大利），1997年。程序。第24届国际。自动化、语言和编程学术讨论会（ICALP’97）。程序。第24届国际。自动化、语言和编程座谈会（ICALP’97），博洛尼亚（意大利）1997，计算机科学讲义，第1256卷（1997），施普林格：施普林格柏林），336-347·Zbl 1401.68161号
[9] （Diekert，V.；Rozenberg，G.，《痕迹之书》（1995），《世界科学：世界科学新加坡》）
[10] Duboc，C.，关于自由部分交换幺半群中的一些方程，定理。计算。科学。，46, 159-174 (1986) ·Zbl 0605.20062
[11] Durnev，V.G.，数学。学术笔记。科学。苏联，16，1024-1028（1975），（俄语）英语翻译：·Zbl 0334.02024号
[12] 艾宾格，W。；Muscholl，A.，无限迹上的逻辑可定义性，理论。计算。科学。，154, 67-84 (1996) ·Zbl 0871.68111号
[13] Karhumäki，J。；普兰多夫斯基，W。；Mignosis，F.，《语言和关系的文字方程表达能力》（Degano，P.等，第24届国际自动化、语言和编程学术讨论会（ICALP’97）。程序。第24届国际。自动机、语言和程序设计学术讨论会（ICALP’97），博洛尼亚（意大利），1997年。程序。第24届国际。自动化、语言和编程学术讨论会（ICALP’97）。程序。第24届国际。自动化、语言和编程座谈会（ICALP’97），博洛尼亚（意大利），1997，计算机科学讲义，第1256卷（1997），施普林格：施普林格柏林），98-109·Zbl 1401.68163号
[14] Keller，R.M.，《并行程序模式和最大并行性I.基本结果》，J.Assoc.Compute。机器。，20, 3, 514-537 (1973) ·Zbl 0273.68011号
[15] 马卡宁，G.S.，数学。苏联斯博尼克，32（1977），英语翻译。英寸·Zbl 0371.20047号
[16] Yu Matiyasevich。V.，苏联数学。Doklady，11，2（1970），英语翻译。英寸·兹比尔0212.33401
[17] Yu Matiyasevich。，希尔伯特的第十道题，《计算基础》（1993年），麻省理工学院出版社：麻省理工学院出版社剑桥·Zbl 0790.03009号
[18] Yu Matiyasevich。，将迹方程简化为文字方程，（在“可计算性、复杂性和逻辑学术讨论会”上的发言。在1996年12月5日至6日（1996），德国斯图加特大学信息研究所，德国斯图大学·Zbl 0583.03025号
[19] Yu Matiyasevich。，迹的一些判定问题，（Adian，S.；Nerode，A.，Proc.第四届国际计算机科学逻辑基础研讨会（LFCS’97）。程序。第四国际。交响乐团。《计算机科学逻辑基础》（LFCS’97），俄罗斯雅罗斯拉夫尔，1997年7月6日至12日。程序。第四国际。交响乐团。计算机科学逻辑基础（LFCS’97）。程序。第四国际。交响乐团。《计算机科学的逻辑基础》（LFCS’97），俄罗斯雅罗斯拉夫尔，1997年7月6日至12日，计算机科学讲义，第1234卷（1997），施普林格：施普林格柏林），248-257·Zbl 0899.20030
[20] Mazurkiewicz，A.，《并行程序方案及其解释》（DAIMI Rep.PB 78（1977），奥胡斯大学：奥胡斯学院）
[21] Pin，J.-E.，句法半群，（Rozenberg，G.；Salomaa，A.，形式语言手册，第1卷（1997），Springer:Springer-Blin），679-738·Zbl 0866.68057号
[22] Schulz，K.U.，Makanin的单词方程算法-两个改进和一个推广·Zbl 1518.20005号
[23] Straubing，H.，《有限自动机、形式逻辑和电路复杂性》（1994），Birkhäuser:Birkháuser Basal·Zbl 0816.68086号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。