弗里德里希·奥托 关于某些有限幺半群表示的计算能力的综述。 （英语） Zbl 0945.20034号 Birget，J.-C.（编辑）等，群和半群中的算法问题。根据1998年5月11日至5月16日在美国东北部林肯举行的国际会议上的讲话。马萨诸塞州波士顿：Birkhäuser。数学趋势。171-194 (2000). 作者调查了关于有限表示幺半群的各种决策问题的最新结果，包括单词问题。虽然许多代数性质对于一般的有限表示是不可判定的，但一些性质对于适当的受限表示类是可判定的。本文给出了有限表示的可判定性和不可判定性结果，这些表示是收敛的，（lambda）-合流的，一元的或/和特殊的。作者还报告了一个软件系统，该系统实现了本文讨论的决策问题的算法解决方案。有关整个系列，请参见[Zbl 0931.00032号].审核人：Y.Kobayashi（Funabashi） MSC公司： 2005年5月20日 自由半群，生成器和关系，单词问题 2012年第68季度 语法和重写系统 关键词：决策问题;单词问题;有限呈现幺半群;可判定性;不可判定性;有限表示 软件：凯利 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}，in：群和半群中的算法问题。根据1998年5月11日至16日在美国东北部林肯举行的国际会议上的讲话。马萨诸塞州波士顿：Birkhäuser。171--194（2000年；Zbl 0945.20034）