全序E-酉逆剩余格序幺半群的结构

研究了全序E-酉逆剩余格序幺半群。获得了这类序半群的结构定理,推广了[1]的结论。

格序群在集合上的作用

定义格上的两种同余关系。

非确定型模糊有限自动机的一种新的极小确定化方法

非确定型模糊有限自动机的极小确定化是自动机理论中的一个重要问题。在格序幺半群下,本文给出一种非确定型模糊有限自动机的新的极小确定化方法,称为内部构造法。为此,首先给出了模糊状态的内部的定义及其相关性质,进一步证明任给一个非确定型模糊有限自动机,利用模糊状态的内部的性质得到一个极小的确定型模糊有限自动机与之等价,最后通过例子验证该方法的正确性。

格值代数系统的解分析

引入了格值形式幂级数的概念并建立其运算法则,给出格值形式幂级数特有的性质。重点研究代数系统在格序幺半群下的解的存在性与唯一性问题。扩充定义了V-proper格值代数系统,给出其解的袁达式,研究其与proper格值代数系统的关系,并与定义在自然数半环上的代数系统进行比较,最后得出结论:proper和V-proper格值代数系统都存在唯一强解。体现出格值代数系统具有更好的性质。