摘要
1 Adleman，L.和K.Manders，“多项式决策过程的计算复杂性”，第16届IEEE年度研讨会。 《计算机科学基础》，1975年，第169-177页。 谷歌学者 
2 Biryukov，A.P.，“有限定义交换半群的一些算法问题”，《西伯利亚数学杂志》，1967年第8卷，第384-391页。 谷歌学者 交叉引用 
三。 Cardoza，E.W.，“交换半群单词问题的计算复杂性”，项目MAC技术备忘录67，M.I.T.，1975年。 谷歌学者 4 Emelichev，V.A.，“具有一个定义关系的交换半群”，Shuya Gosudarstvennyi教育学研究所Uchenye Zapiski，第6卷，1958年，第227-242页。 谷歌学者 5 Fischer，P.C.、Meyer，A.R.和A.L.Rosenberg，“反机器和反语言”，《数学系统理论》，第2卷，第3期，1968年，第265-283页。 谷歌学者 交叉引用 6 Ginsburg，S.和E.H.Spanier，“半群，Presburger公式和语言”，《太平洋数学杂志》，第16卷，第2期，1965年，第285-296页。 谷歌学者 交叉引用 7 Hack，M.，“向量加法系统的等式问题是不可判定的”，计算结构小组备忘录121，项目MAC，麻省理工学院，1975年，第1-32页。 谷歌学者 8 Hermann，G.，《多项式理论的碎片》，《数学》。 《年鉴》，第95卷，1926年，第736-788页。 谷歌学者 交叉引用 9 Karp，R.和R.Miller，“并行程序模式”，JCSS，第3卷，1969年，第147-195页。 谷歌学者 数字图书馆 
10 Konig，J.，Einleitung，《代数霸权理论》，B.G.Teubner，莱比锡，1903年。 谷歌学者 11 Lipton，R.，“可达性问题需要指数空间”，耶鲁大学计算机科学系技术报告，1975年； 《理论计算机科学》，1976年，即将出版。 谷歌学者 12 Malcev，A.I.，“关于有限群的同态”，Ivano Gosudarstvenni教育学研究所Uchenye Zapiski，第18卷，1958年，第49-60页。 谷歌学者 13 Markov，A.，“关联系统理论中某些算法的不可能性”，Dokl。 阿卡德。 Nauk SSSR，第5卷，1947年，第587-590页。 谷歌学者 14 Post，E.，“Thue问题的递归不可解性”，J.符号逻辑，第12卷，1947年，第1-11页。 谷歌学者 交叉引用 15 Savitch，W.，“不确定性和确定性磁带复杂性之间的关系”，JCSS，第14卷，1970年，第177-192页。 谷歌学者 16 塞登伯格，A.，“代数中的构造”，转。 美国数学学会，第197卷，1974年， 谷歌学者 交叉引用 17 Stockmeyer，L.，《自动化理论和逻辑中决策问题的复杂性》，项目MAC技术报告133，麻省理工学院，1974年。 谷歌学者 18 Stockmeyer，L.和A.R.Meyer，“需要指数时间的单词问题：初步报告”，第五届ACM年会。 《计算理论》，1973年，第1-9页。 谷歌学者 数字图书馆 19 Taiclin，M.A.，“交换半群的算法问题”，苏联数学Doklady，1968年第9卷，第201-204页。 谷歌学者
建议
正则半群的有限完全重写系统 证明了给定一个具有有限多个左右理想的（von Neumann）正则半群，如果每个极大子群都可以由有限完全重写系统表示，则该半群也是如此。 为了实现这一点，以下两个结果是。。。
