H.卢戈夫斯基。;W.Schöbel。 图灵幺半群的正规形。（图灵幺半群中的正规形式）。 （德语） Zbl 0682.20045号 波茨坦Forsch。，瑞荷B 62, 82-89 (1989). 图灵幺半群\（Q:=<0.1，R，L>\）由元素0,1，R，L根据以下关系生成：（i）\（01=0\）；（ii）（10=1）；（iii）（00=0）；（iv）（11=1）；（v） \（LR=\lambda\）；（vi）（RL=λ）；（vii）（L^iBR^iA=AL^iBR_i\）（i\（\geq 1）\）；（viii）\（R^iBL^iA=AR^iBL ^i\）（A，B\（in\{0,1\}）\）。设M是自由幺半群的因子幺半群（直到同构），由关系（i）-（viii）生成的同余。按长度对自由幺半群中的单词进行排序，并在相同长度的单词中按字典顺序进行反向排序，以\（0<1<R<L\）开头。单词的正规形式是同余类中相对于这个排序的最小代表。本文基于（第一）作者的其他四篇论文中的先前结果，讨论了图灵幺半群中正规形式的计算。给出了一个计算范式的BASIC程序，但没有对算法的复杂性进行分析。审核人：M.加森 引用于1文件 MSC公司： 2005年5月20日 自由半群，生成器和关系，单词问题 20立方米 自动机理论、语言学等中的半群。 70年第68季度 语言代数理论与自动机 03天10分 图灵机及其相关概念 05年6月 有序半群和幺半群 20-04 群论相关问题的软件、源代码等 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：词典编纂顺序;图灵幺半群;同余;自由幺半群;单词的正常形式;BASIC程序 PDF格式BibTeX公司 XML格式引用 \textit{H.Lugowski}和\textit{W.Schöbel}，波茨坦-福施。，Reihe B 62，82--89（1989；Zbl 0682.20045）