论文部分内容阅读
利用格理论给出了给定语言的上限能控子语言，上限闭子语言和上限Ｌｍ（Ｇ）闭子语言的存在性和算法．
By using the theory of lattice, the existence and algorithm of upper bound controllable sublanguage, upper bound closed sublanguage and upper bound Lm (G) closed sublanguage are given.