论文部分内容阅读
设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＊的极大自由幺子半群。