关于两类右分配的强双幺半群的自由对象

Models of free objects in two sub-varieties of strong bimonoids

基于泛代数的观点,通过在全体后缀码的集族上添加两个二元运算和两个常元,构造两个满足右分配律的强双幺半群,说明它们对其所属代数类具有泛映射性质。给出两类满足右分配律的强双幺半群簇的自由对象模型。

Based on the viewpoint of universal algebra,the paper constructs two strong bimonoids by adjoining some binary operations and unary operations into the family of all finite suffix codes over a nonempty set.It is shown that these two strong bimonoids have the universal mapping property.Also,it gives two kinds of free object models to satisfy right distribution law strong bimonoids.