自由幺半群A~*的两类极大自由幺子半群

构造了自由幺半群A 的两类极大自由幺子半群 ,文中同时给出了自由半群A+ 的极大子半群的完全刻划 .     

自由幺半群X*的一族极大自由幺子半群

设X*是由字母表生成的自由幺半群,B1,B2是X的任意2-划分,C=B2∪B1XN,N1,文[1-2]证明了幺半群C*是自由幺半群X*的极大自由幺子半群.本文证明了:对N≥1,C=B2∪B1(XN\B1N)∪B1N 1X,则幺半群C*也是自由幺半群X*的极大自由幺子半群.     

自由幺半群X*的两类极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。     

自由幺半群的一族极大自由幺子半群

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

自由幺半群X＇的一族极大自由幺子半群

设X1是由字母表X生成的自由幺半群,{B1,B2}是X的任意2一划分,C=B2UBl（XN＼B1N）UE,其中E=B1N＋1（B10B1UB281uUB22B1U…UB2M-1B1UB2MX）,N≥3,M≥o,则C’是X’的幺子半群。以X’为顶点集构造了一个语言图,然后利用该语言图证明了G‘是X‘的一族极大自由幺子半群。     

半群X*的一族极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,A=B2∪ E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM-12B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群.利用文[2]的结果证明了对N≥2,幺半群A*也是自由幺半群X*的...     

半群X^＊的一族极大自由幺子半群

考虑自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图, 利用它证明了该族子半群是一族极大自由幺子半群.     

自由半群方程a~mb~n=c~p的一点注记

证明了自由半群方程ambn=cp,其中m,n1,p2若有本原解,则p=m+n。     

可消幺半群的格林关系

探讨了可消幺半群上的格林关系,尤其是L关系,研究了可消幺半群S中的正则元群G,并且G是S上的幺正子半群.     

自由摹群与摹群的自由积

给出了自由摹群和摹群自由积的定义以及它们的范畴性质，并利用同态方法研究了摹群自由积的性质     

A Family Maximal Free Submonoid of the Free Monoid X

设X1是由字母表X生成的自由幺半群，{B1，B2}是X的任意2一划分，C=B2UBl（XN＼B1N）UE，其中E=B1N＋1（B10B1UB281uUB22B1U…UB2M-1B1UB2MX），N≥3，M≥o，则C’是X’的幺子半群。以X’为顶点集构造了一个语言图，然后利用该语言图证明了G‘是X‘的一族极大自由幺子半群。     

有关本原自动机的研究

讨论了本原自动机的自同态,证明了如果广义正规自动机Α的所有本原自动机都是Sl(或G)-自动机,那么Α也是Sl(或G)-自动机;证明了强连通本原自动机的并是G-自动机;利用极小生成元集将标准自动机的定义推广到有限自动机,给出了广义标准自动机的定义及其成立的一个充分条件。     

一类非线性方程自由边界问题的注记

研究一类带有奇性的两点边值问题, 利用此结论, 构造 了一类非线性抛物方程自由边界问题的相似解, 并探讨了解的属性.     

一族由前缀码生成的极大自由幺子半群

设X*是由字母表X生成的自由幺半群且A是X*的非空子集,如果A∩AX+=Φ,则称A是前缀码。设{B1,B2}是X的任意2—划分,令A=B2∪B1(Xi\Bi1)∪E,i=1,2,其中E=Bi1+1(B01B1∪B2B1∪B22B1∪…∪B2M-1B1∪B2MX),M≥0。文章证明了A是前缀码且幺半群A*是自由幺半群X*的极大自由幺子半群。