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

摘要

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

关键词

形式语言 / ai半环 / 自由对象 / 偏序关系