格值自动机与语言 被引量：39

1

作者 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第4期1-6,共6页

引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语... 引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系. 展开更多

关键词 格值自动机 格半群 格值语言 正则运算 自动机理论 模糊集

下载PDF 职称材料

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

2

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

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

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

下载PDF 职称材料

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

3

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

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

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

下载PDF 职称材料

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

4

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

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

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

下载PDF 职称材料

几类格值自动机的关系 被引量：7

5

作者 李平 李永明 《模糊系统与数学》 CSCD 北大核心 2005年第3期96-100,共5页

本文给出了四类格值自动机及其语言的定义,证明了前三类格值自动机的等价性,讨论了第四类格值自动机与前三类格值自动机的关系。

关键词 格值自动机 格半群 格值语言 状态集

下载PDF 职称材料

双格半群 被引量：8

6

作者 王文良 《数学学报（中文版）》 SCIE CSCD 北大核心 1993年第1期114-121,共8页

本文给出格半群上对偶同构、双格半群、ST-格半群等概念,讨论了格上半群构成格群的几组充要条件,从而解决了格在什么情况下具有格群结构这一至今未解决的问题.同时研究了ST-格半群等的一些性质、指出格群类是双格半群类的一个真子类.

关键词 格半群 对偶同构 双格半群

原文传递

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

7

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

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

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

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

格序半群的一些性质

9

作者 童晓平 《杭州教育学院学报》 CAS 1999年第6期16-19,共4页

主要利用格序羊群的对偶同构这一工具，研究格序半群的一些性质，并给出格半群构成格序群的一个充分必要条件．

关键词 格半群 格序半群 逆半群 格序群 对偶同构

下载PDF 职称材料

一类具有输出字符功能的格值自动机 被引量：3

10

作者 雷红轩 《汉中师范学院学报》 2004年第3期19-24,共6页

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

关键词 格半群 格值自动机 同态

下载PDF 职称材料

分子格半群

11

作者 胡宝清 《模糊系统与数学》 CSCD 1995年第2期65-71,共7页

在本文中，作者在格半群上引入了半群元和理想元的概念，使得半群（理想）和ＴＬ－Ｆｕｚｚｙ半群（理想）是其特例。在分子格半群上引入了群元和正规群元等概念，在更高的层次上统一了群和Ｌ－Ｆｕｚｚｙ群。

关键词 格半群 分子格半群 半群元 理想元 群元

下载PDF 职称材料

格值上下文无关文法的范式 被引量：2

12

作者 盛莉 《纯粹数学与应用数学》 CSCD 2010年第2期270-274,共5页

给出了格值上下文无关文法(LCFG),Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性... 给出了格值上下文无关文法(LCFG),Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性质密切相关. 展开更多

关键词 格半群 格值上下文无关文法 Chomsky范式 Greibach范式

下载PDF 职称材料

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

13

作者 李斌 舒兰 《计算机工程与应用》 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 职称材料

格值矩阵的逆及广义逆 被引量：2

14

作者 邹蓥 雷红轩 +1 位作者 罗兰 陈华英 《内江师范学院学报》 2009年第6期22-25,共4页

探讨了基于格半群上的矩阵的逆和广义逆等问题,给出了格值矩阵的逆、{1}-广义逆和M-P广义逆的概念和它们存在的条件,以及格值矩阵A的任意一个{1}-广义逆的具体形式、M-P广义逆的存在性和唯一性.

关键词 格半群 格值矩阵 {1}-广义逆 M-P广义逆

下载PDF 职称材料

F格半群

15

作者 王文良 于增海 《商丘师范学院学报》 CAS 1991年第S4期25-30,共6页

本文在引入双格半群概念之后,给出 F 格半群的定义,实例及一般性质,初步明确了有点派的格上拓扑理论与格群理论的相互联系,为进一步在 L—Fuzzy 拓扑空间中引入相容的半群结构、给出格上拓扑理论更加具体的应用背景奠定了基础.

关键词 逆合对应 双格半群 F 格半群

下载PDF 职称材料

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

16

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

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

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

下载PDF 职称材料

格值树自动机与格值上下文无关树文法的等价性 被引量：1

17

作者 杨文武 李永明 孙丹丹 《计算机工程与科学》 CSCD 2008年第11期92-94,共3页

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下,树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。

关键词 格半群 树自动机 上下文无关树文法 正规形式 等价文法

下载PDF 职称材料

下推格值自动机接受词语言两种方式的等价性 被引量：1

18

作者 吴静杰 鲁来凤 《西安工业大学学报》 CAS 2008年第6期601-604,共4页

在格半群框架下,针对下推格值自动机模型的特点,提出其两种接受词语言的方式,并利用格半群的代数性质和自动机理论,证明了这两种方式接受词语言的等价性.

关键词 下推格值自动机 格半群 词 模糊状态转移函数

下载PDF 职称材料

基于格半群的有限状态自动机的同态 被引量：1

19

作者 雷红轩 俸卫 《数学杂志》 CSCD 北大核心 2011年第6期1074-1078,共5页

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

关键词 格半群 模糊自动机 同态 强同态 同构

下载PDF 职称材料

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

20

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

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

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

下载PDF 职称材料