格值Mealy自动机的同余和同态

提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法.     

模糊树自动机的同余与同态

从代数角度出发研究模糊树自动机的同余与同态,得出模糊树自动机的同态基本定理和同构基本定理,且对模糊树自动机的语言及模糊树自动机的极小化问题进行研究.     

基于格半群的有限状态自动机的同态

本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.     

格值有限自动机的乘积

初步建立了格值有限自动机的乘积理论.引入了格值变换半群,研究了格值有限自动机在各种乘积情形下的转移函数性质,讨论了各种乘积之间的覆盖关系,为进一步研究量子自动机的乘积理论奠定基础.     

格值代数系统的解分析

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

基于模糊字符串的Mealy格值有限自动机及其最小化

提出取值为格半群的Mealy格值有限自动机的概念,进而得到基于模糊字符串的Mealy格值有限自动机的扩张模型,并较详细讨论了其性质. 同时定义了扩张的完备Mealy格值有限自动机的行为矩阵, 在此基础上给出了其最小化算法.     

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.     

有限模糊树自动机的一些代数性质与相应的语言

将模糊自动机的同态、完全、容许关系等概念引入到模糊树自动机中,从代数的角度研究模糊树自动机的一些代数性质,并探讨了模糊树自动机的语言的相关问题.     

基于L*-格值逻辑上的BCH-代数中的直觉不分明化理想

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质.     

格值树自动机的乘积与覆盖

给出了格值树自动机的全直积、限制直积、级联积、圈积与覆盖的概念,讨论格值树自动机积之间的关系、格值树自动机的之间的覆盖关系以及格值树自动机的积之间的覆盖关系。