论文部分内容阅读
一直以来,本原字和析取语言都是语言学家们所关注的焦点之一,它们在码论和计算机理论、应用方面具有深远的影响.我们已经知道一些很重要的析取语言,例如:所有本原字的集合以及所有d-本原字的集合都是析取语言.本文主要对p-本原字的集合是否仍是析取语言进行研究.在构造了许多p-本原字的帮助下,我们证明了如下结果:
(1)对任意一个i≥1,Q(i)p是析取语言,于是p-本原字的集合是析取语言;
(2)Qpev和Qpod都是析取语言;
(3)Qq是析取语言;
(4)对所有的i≥2,Qip∩Q和QipQ都是析取语言;
(5) D(1)∩ Qp是析取语言;
(6)对任意的i≥1,D(i)Qp都是析取语言.
文献[13]对平衡字和素平衡字进行了比较系统的研究,构造出了一些与平衡字和本原字有关的语言,得到了HQ,H∩Q都是析取语言等重要的结论.本文在该篇文献的基础上,继续构造出了一些新的析取语言:
(1)H∩ Qp和HQp都是析取语言;
(2)QHp和D(1)Hp是析取语言;
(3)H∩D(1)和HD(1)是析取语言;
(4)对任意的i≥2,D(i)Hp是析取语言.
我们已经知道,自由幺半群中的任意一个非空字都可以唯一地表示成一个本原字的幂的形式,因此判断一个字是不是本原字对于我们研究自由幺半群非常重要.本文给出了一种判断一个字是本原字的方法:对任意的i≥2,如果满足f≠g,lg(f)=lg(g),那么fgi一定是本原字.