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

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