共查询到18条相似文献,搜索用时 46 毫秒
1.
自由幺半群的一族极大自由幺子半群 总被引:1,自引:0,他引:1
徐波 《贵州师范大学学报(自然科学版)》2007,25(2):68-70
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群. 相似文献
2.
自由幺半群X*的一族极大自由幺子半群 总被引:1,自引:0,他引:1
设X*是由字母表生成的自由幺半群,B1,B2是X的任意2-划分,C=B2∪B1XN,N1,文[1-2]证明了幺半群C*是自由幺半群X*的极大自由幺子半群.本文证明了:对N≥1,C=B2∪B1(XN\B1N)∪B1N 1X,则幺半群C*也是自由幺半群X*的极大自由幺子半群. 相似文献
3.
自由幺半群X*的两类极大自由幺子半群的推广 总被引:1,自引:0,他引:1
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。 相似文献
4.
设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*的... 相似文献
5.
设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‘的一族极大自由幺子半群。 相似文献
6.
7.
设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*的极大自由幺子半群。 相似文献
8.
9.
10.
黄允宝 《杭州师范学院学报(自然科学版)》2003,2(1):10-11
给出 A*的子幺半群是自由的一个新的充要条件 :A*的子幺半群 P是自由的当且仅当对某个固定的正整数 k,对任意 k个 w1 ,w2 ,…… ,wk∈ A* 只要存在 p,q∈ P使得 pw1 ,w1 w2 ,w2 w3,…… ,wk- 1 wk,wkq∈ P就有 w1 ,w2 ,…… ,wk ∈ P . 相似文献
11.
12.
给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格. 相似文献
13.
14.
15.
16.
17.
18.