自由幺半群相关论文
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止......
本论文中我们主要展示两个研究内容。在第一个研究内容中,我们证明了所有不可约前缀码和d-本原字构成的集合不是一个码,并且该集合......
1977年,Lassez和Shyr在《Factorization in the Monoid of languages》中证明不可约前缀码集并本原字的集合这一语言集不是码;对任......
有限破译延迟码是一种比前缀码更广泛的代数码,它介于前缀码和后缀码之间。2010年,欧洲学者J.Berstel, D.Perrin和C. Reutenauer在......
Sturmian序列在离散动力系统中起着很重要的作用,同时又是组合学的重要研究对象;Christoffel 词是Sturmian序列的有限版本,对Chris......
分析自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图,利用它证明了该族子半群是半群X*的一族极大自由幺子半群.......
<正> 设X为有限字母表,X~*是X生成的自由幺半群.X~*的子集合称为X上的语言,X~*的元素称为X上的字,特别地,X~*的单位元称为空字,记......
分析自由幺半群X﹡的一族特殊幺子半群,并以X﹡为顶点集构造了一个语言图,利用它证明了该族子半群是半群X﹡的一族极大自由幺子半群。......
<正> 本文引进了自由幺半群中理想的内缀根的概念,主要讨论了一个前缀码为某个理想的前缀根的充要条件,证明了自由幺半群中理想的......
证明了自由半群方程ambn=cp,其中m,n〉1,p〉2若有本原解,则p=m＋n。...
设X1是由字母表X生成的自由幺半群，{B1，B2}是X的任意2一划分，C=B2UBl（XN＼B1N）UE，其中E=B1N＋1（B10B1UB281uUB22B1U…UB2M-1B1UB2MX），N≥3，M≥o，则......
主要目的是研究前缀码,得到了前缀码与极大前缀码的若干特征.从而推广了Shyr的关于前缀码的结果......
设X^＊是由字母表X生成的自由幺半群，{B1，B2}是X的任意2-划分，C=B2∪B1X^N。对N=1，2，文[1]证明了幺半群C^＊是自由幺半群X^＊的极大自由幺子半......
设X^＊是由字母表生成的自由幺半群，{B1，B2）是X的任意2-划分，C=B2∪B1X^N，N≥1，文^[1-2]证明了幺半群C^＊是自由幺半群X^＊的极大自由幺子半群．......
在自由幺半群上引进模糊化内缀码和模糊化外缀码的概念,并进一步讨论它们的基本代数性质.......
通过对比群码的定义,给出0-群码的定义,并利用已知的群码的结构定理和性质,将其推广至0-群码上,得到了0-群码的一个结构定理和类似......
设X*是有限字母集X上的自由幺半群,以X*为顶点集构造一个语言图,用它来研究极大前缀码,并给出一系列判定极大前缀码的充要条件.最......
设X^＊是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1X^N,N≥1,文[1][2]中证明了C^＊是自由幺半群X^＊的幺子半群。以X......
证明了自由幺半群的Cayley图是有根树及自由半群的Cayley图是一些同构的树组成的森林....
证明了强左奇异且右奇异语言及（１）之集是语言幺半群的自由子幺半群；由此给出了强双侧奇异语言幺半群自由性的一个简化证明。进而讨论了......
给出A*的子幺半群是自由的一个新的充要条件:A*的子幺半群P是自由的当且仅当对某个固定的正整数k,对任意k个w1,w2,……,wk∈A*只要......
构造了自由幺半群A*的两类极大自由幺子半群,文中同时给出了自由半群A+的极大子半群的完全刻划.......
设X＊是由字母表X生成的自由幺半群，{B1，B2}是X的任意2一划分，A=B2UE，其中E=B1XN（B2^0UB2B1UB22B1U…U2^M-1B1UB2MX），N≥0，M≥0．对N=0，文[1]证......
称可被有限自动机识别的语言为正规语言.字母表A上的语言L称为稠密的,如果A*中每个字都是L中字的子字.不能写为其他字的幂的非空字......
讨论了有限可交换特殊图厄系统(Σ∶R)及其字问题,证明了一个有限可交换特殊图厄系统(Σ∶R)是一个有限群与一个自由幺半群的直积;......
串重写系统(Σ∶R)是定义在字母表Σ上的所有字符串的集合，一般情况下集合中的元素是不可刻画的.对于一个有限可交换的Thue系统(Σ......
考虑自由幺半群X^＊的一族特殊幺子半群，并以X^＊为顶点集构造了一个语言图，利用它证明了该族子半群是一族极大自由幺子半群．......
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,C=B2∪B31∪B1(X2B21)X。证明了C是极大码且C*是自由幺半群X*的极大自......
设X+(X~*)是由字母表X生成的自由(幺)半群且A是X~*的非空子集,如果A∩AX+=φ,则称A是前缀码.如果前缀码A满足:对任意ω∈X+A,有A∪......
