论文部分内容阅读
本文构造有限生成Chinese幺半群的双自动结构(biautomatic structures)，从而得到有限生成Chinese幺半群是双自动幺半群(biautomatic monoids).本文共分为两部分: 第一章是相关的基本概念和预备知识.主要介绍关联幺半群和正规语言(formallanguage)的一些重要概念和已知结果，自动幺半群(automatic monoids)和双自动幺半群的概念.最后，我们还介绍了结合代数上的Gr(o)bner-Shirshov基理论，这对找半群的规范型和设计乘法算法很有帮助. 第二章，对于任意一个有限生成Chinese幺半群，我们选择它在有限生成元集A上的一组规范型L.然后用Gr(o)bner-Shirshov基理论去设计左乘法算法，用一些简单的、通过归纳法可知是有理的关系把amL(k) and L(k)am表示出来，这就证明了它们是有理的，从而证明了(A，L)是Chinese幺半群的一个双自动结构，即有限生成Chinese幺半群是双自动幺半群.