单缀严格语言的组合性质及代数特征

研究了有限字母表Σ上所有严格单缀语言形成的语言类。证明该语言类中的成员是自由半群Σ+上某一偏序关系的独立集;利用这一偏序关系和相关语言的组合性质,定义语言类上的2个二元运算使之成为半环代数;最后阐明该半环是一个ai半环类的自由对象的模型。