自由星号语言及其关于左(右)酉星号语言的自由积分解

本文涉及两类星号语言,它们是星号语言类的一个子类,所谓自由星号语言类,以及后者的一个子类,所谓左(右)酉星号语言类.给出了非单位星号语言成自由星号语言和非单位星号语言成左(右)酉星号语言的一些充要条件;并且建立了自由星号语言关于左(右)酉星号语言的自由积分解.     

谈谈"高观点下的初等数学"——以基础代数学为例

<正>关于"初等数学"与"高等数学"的关系,有人认为,"初等数学"是关于常量的数学,"高等数学"是关于变量的数学;也有人说,"高等数学"是"初等数学"的升华.关于这一关系,我们在长期的教学实践中形成了一个似乎更具"可触摸性"的认识:"初等数学"里的每件事情都不过是"高等数学"里的某一数学系统理论中的某一事实在某一具体的该系统中的具体表     

关于“码恒交换等价于前缀码”的猜想

本文指出,每一码恒交换等价于一前缀码的猜测等价于下二命题之一:1.每一单码恒交换等价于一前缀码。2.X上每一单码C的特征序列满足条件 sub from i=1 to N K_i(C)(N-i)！≤N！,其中N=|X|.     

稠密语言关于析取语言的并分解

本文讨论了稠密语言与析取语言的关系.得到了稠密语言的两个充分必要条件:一个语言是稠密的充分必要条件是它为无限多个析取语言的无交并;一个语言是稠密的充分必要条件是它为两个析取语言的无交并.     

Solid 码与fd-辖区的一致稠密性

利用solid码的理论, 解决了郭聿琦, C. M. Reis 和G. Thierrrin 于1988年提出的问题"是否每一个fd-辖区都是一致稠密的?''''     

语言的Schreier系统

为了开展语言代数结构的研究,本文移植自由群子群的 Schreier 方法到语言理论中来,建立了一般语言描述上的所谓 Schreier 系统,并讨论了这种系统的基本构造.     

Sturdy Frame of Type (2,2) Algebras With Application to Semigroup Structure of Semirings

W irst Introduce the concept oftrames.Definition We call txne(2,2)alsebr洲;+;·)a w。e If B Is elldowed with an uPP。rsc。lllattlce order‘”<”“satlsfyingthe Nil。     

E-矩形性拟正则半群

本文定义了一类拟正则半群,所谓E-矩形性拟正则半群,给出了它的若干特征和特例,特别地,给出了它在Green关系上的特征,讨论了它具左、右E-矩形性的特殊情形,并建立了它的结构.     

幂等元分配半环簇的格 *

给出了自由幂等元分配半环上的字问题的解 ,借助于这个解 ,确定了幂等元分配半环簇ID的子簇格L(ID)∶L(ID)同构于格L和一个四元格的直积 ,其中L表示带簇B的子簇格L(B)的4个拷贝的次直积 ;L(ID)是可数无限的和分配的 ;ID的每一个子簇有有限基底.