论文部分内容阅读
设X^*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1X^N,N≥1,文[1][2]中证明了C^*是自由幺半群X^*的幺子半群。以X^*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪X^NB1,幺半群C^*也是自由幺半群X^*的一族极大自由幺子半群.