格值Mealy自动机的同余和同态 被引量：10

1

作者 韩召伟 李永明 《模糊系统与数学》 CSCD 北大核心 2007年第2期53-64,共12页

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

关键词 格半群 格值Mealy自动机 同余 同态 极小化

下载PDF 职称材料

同步格值自动机的约简和最小化算法 被引量：12

2

作者 雷红轩 李永明 《计算机工程与应用》 CSCD 北大核心 2006年第16期57-60,共4页

引入了完备L-Fuzzy矩阵的概念,提出了取值于格半群上的输入字符和输出字符长度相同的模糊自动机的概念,即完备的同步格值自动机的概念,研究了它的主要性质;从行为矩阵出发,给出了完备的同步格值自动机状态等价和自动机等价的定义,从自... 引入了完备L-Fuzzy矩阵的概念,提出了取值于格半群上的输入字符和输出字符长度相同的模糊自动机的概念,即完备的同步格值自动机的概念,研究了它的主要性质;从行为矩阵出发,给出了完备的同步格值自动机状态等价和自动机等价的定义,从自动机的状态等价,研究了该自动机可约简的条件,并得到了该自动机的最小化算法。 展开更多

关键词 格半群 模糊自动机 等价 约简 最小化算法

下载PDF 职称材料

格值有限自动机及其性质 被引量：10

3

作者 雷红轩 潘超 《内江师范学院学报》 2006年第4期9-12,共4页

提出了格值有限自动的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取值格为格半群的代数性质的紧密联系,得到了许多重要结果.

关键词 格半群 模糊有限自动机 同态

下载PDF 职称材料

格值下推自动机与格值上下文无关文法 被引量：8

4

作者 彭家寅 《计算机工程与应用》 CSCD 北大核心 2011年第25期34-38,48,共6页

引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下... 引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。 展开更多

关键词 格半群 格值下推自动机 格值上下文无关文法 格值语言 格值Chomsky范式文法

下载PDF 职称材料

格值有限自动机等价判定算法 被引量：8

5

作者 雷红轩 盛莉 《计算机工程与应用》 CSCD 北大核心 2006年第22期39-41,45,共4页

引入了完备L-Fuzzy矩阵的概念,给出了基于格半群的模糊有限自动机的形式化定义,即完备格值有限自动机,研究了它的主要性质;给出了完备格值有限自动机的行为矩阵,从行为矩阵出发,给出了自动机状态等价和自动机等价的定义。最后,得到了该... 引入了完备L-Fuzzy矩阵的概念,给出了基于格半群的模糊有限自动机的形式化定义,即完备格值有限自动机,研究了它的主要性质;给出了完备格值有限自动机的行为矩阵,从行为矩阵出发,给出了自动机状态等价和自动机等价的定义。最后,得到了该类自动机等价的判定算法。 展开更多

关键词 格半群 L-Fuzzy矩阵 模糊有限自动机 等价 算法

下载PDF 职称材料

一类格值自动机的极小化 被引量：1

6

作者 冯甄玲 《计算机工程与应用》 CSCD 北大核心 2007年第34期65-70,共6页

给出了格值自动机的同余和同态,从代数角度出发详细研究了同余和同态关系的代数性质,揭示了格值自动机的代数性质和取值格半群的紧密联系,利用同余和同态关系最终研究了格值自动机的极小化问题,在正则同余下给出了可在有限步实现具有模... 给出了格值自动机的同余和同态,从代数角度出发详细研究了同余和同态关系的代数性质,揭示了格值自动机的代数性质和取值格半群的紧密联系,利用同余和同态关系最终研究了格值自动机的极小化问题,在正则同余下给出了可在有限步实现具有模糊初始状态和特殊模糊终状态的自动机极小化的算法。 展开更多

关键词 格半群 格值自动机 同余 同态 极小化

下载PDF 职称材料

格值代数系统的解分析

7

作者 张孟青 李永明 《模糊系统与数学》 CSCD 北大核心 2016年第3期19-25,共7页

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

关键词 格序幺半群 格值形式幂级数 格值代数系统

原文传递

格值Moore机的最小化

8

作者 李斌 舒兰 邱东 《模糊系统与数学》 CSCD 北大核心 2010年第2期15-20,共6页

提出格值Moore机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Moore机的极小化,给出可在有限步实现极小化的算法,并从理论上证明了得... 提出格值Moore机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Moore机的极小化,给出可在有限步实现极小化的算法,并从理论上证明了得到的最小化格值Moore机与原格值Moore机等价。 展开更多

关键词 格半群 格值Moore机 同余 同态 极小化

下载PDF 职称材料

格值有限状态自动机的半群

9

作者 雷红轩 《计算机工程与应用》 CSCD 北大核心 2010年第25期49-50,共2页

提出了格值有限状态自动机的定义,给出了格值有限状态自动机的两种同余关系,研究了格值有限状态自动机的半群的若干性质,最后给出了两种有限半群E(A)和E(A)的关系。

关键词 格半群 模糊有限自动机 半群 同态

下载PDF 职称材料

确定型格值有限自动机的最小化 被引量：2

10

作者 李斌 舒兰 《计算机工程与应用》 CSCD 北大核心 2010年第32期52-54,共3页

给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类... 给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类为Q/Rk-1中等价类与Q/Sk中等价类的非空交集全体。引入了Hk,并证明了可由Hk求取Q/Sk,从而得到仅利用集合运算便可求取Q/Rk的算法,最终给出了DLFA最小化算法的一个容易实现的构造型描述和相应示例。 展开更多

关键词 格半群 确定型有限状态自动机 等价关系 商集 最小化 最小化算法

下载PDF 职称材料

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

11

作者 陈伟 阮小军 《南昌大学学报（理科版）》 CAS 北大核心 2019年第1期8-14,共7页

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

关键词 剩余格序幺半群 E-酉逆半群 全序半群

下载PDF 职称材料