检索结果-维普期刊中文期刊服务平台

格值自动机与语言被引量：39: 1; 作者李永明《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第4期1-6,共6页; 引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语... 展开更多; 关键词格值自动机格半群格值语言正则运算自动机理论模糊集; 在线阅读下载PDF 职称材料

一类格值自动机的极小化被引量：1: 2; 作者冯甄玲《计算机工程与应用》 CSCD 北大核心 2007年第34期65-70,共6页; 给出了格值自动机的同余和同态,从代数角度出发详细研究了同余和同态关系的代数性质,揭示了格值自动机的代数性质和取值格半群的紧密联系,利用同余和同态关系最终研究了格值自动机的极小化问题,在正则同余下给出了可在有限步实现具有模... 展开更多; 关键词格半群格值自动机同余同态极小化; 在线阅读下载PDF 职称材料

格值有限自动机的乘积被引量：10: 3; 作者刘军莫智文《高校应用数学学报（A辑）》 CSCD 北大核心 2009年第1期121-126,共6页; 初步建立了格值有限自动机的乘积理论.引入了格值变换半群,研究了格值有限自动机在各种乘积情形下的转移函数性质,讨论了各种乘积之间的覆盖关系,为进一步研究量子自动机的乘积理论奠定基础.; 关键词格值有限自动机直积级联积圈积; 在线阅读下载PDF 职称材料

格值下推自动机与格值上下文无关文法被引量：8: 4; 作者彭家寅《计算机工程与应用》 CSCD 北大核心 2011年第25期34-38,48,共6页; 引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下... 展开更多; 关键词格半群格值下推自动机格值上下文无关文法格值语言格值Chomsky范式文法; 在线阅读下载PDF 职称材料

Mizumoto格值有限自动机及其最小化: 5; 作者汪洋杨琼《计算机科学与探索》 CSCD 2009年第4期441-446,共6页; 提出取值为格半群的Mizumoto格值有限自动机的概念,得到基于模糊字符串的Mizumoto格值有限自动机的扩张模型,并详细讨论了其性质。同时建立了扩张Mizumoto格值有限自动机与标准扩张Mizumoto格值有限自动机的等价性,在此基础上给出了其... 展开更多; 关键词格值模糊字符串 Mizumoto格值有限自动机最小化; 在线阅读下载PDF 职称材料

格值交替树自动机: 6; 作者魏秀娟李永明《软件学报》 EI CSCD 北大核心 2019年第12期3605-3621,共17页; 交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的... 展开更多; 关键词格值交替树自动机格值正布尔公式对偶运算格值计算树接受运行; 在线阅读下载PDF 职称材料

题名格值自动机与语言被引量：39: 1; 作者李永明; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第4期1-6,共6页; 基金国家自然科学基金资助项目(19901028 60174016) +2 种基金国家重点基础研究发展计划(973计划)资助项目(2002CB312200); 文摘引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.; 关键词格值自动机格半群格值语言正则运算自动机理论模糊集; Keywords lattice-valued automata lattice monoid lattice-valued language regular operations; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名一类格值自动机的极小化被引量：1: 2; 作者冯甄玲; 机构陕西师范大学数学与信息科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2007年第34期65-70,共6页; 文摘给出了格值自动机的同余和同态,从代数角度出发详细研究了同余和同态关系的代数性质,揭示了格值自动机的代数性质和取值格半群的紧密联系,利用同余和同态关系最终研究了格值自动机的极小化问题,在正则同余下给出了可在有限步实现具有模糊初始状态和特殊模糊终状态的自动机极小化的算法。; 关键词格半群格值自动机同余同态极小化; Keywords Lattice-ordered monoid Lattice-valued fuzzy finite automata congruences homomorphsims minimization; 分类号 O235 [理学—运筹学与控制论] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名格值有限自动机的乘积被引量：10: 3; 作者刘军莫智文; 机构四川师范大学数学与软件科学学院; 出处《高校应用数学学报（A辑）》 CSCD 北大核心 2009年第1期121-126,共6页; 基金国家自然科学基金(10671030) 四川省青年科技基金(07ZQ026114); 文摘初步建立了格值有限自动机的乘积理论.引入了格值变换半群,研究了格值有限自动机在各种乘积情形下的转移函数性质,讨论了各种乘积之间的覆盖关系,为进一步研究量子自动机的乘积理论奠定基础.; 关键词格值有限自动机直积级联积圈积; Keywords lattice-valued automata direct product cascade product wreath product; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名格值下推自动机与格值上下文无关文法被引量：8: 4; 作者彭家寅; 机构四川省高等学校数值仿真重点实验室内江师范学院数学与信息科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2011年第25期34-38,48,共6页; 基金四川省科技厅重点科技项目(No.2006J13-035) 四川省教育厅重点实验室专项(No.2006ZD050); 文摘引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。; 关键词格半群格值下推自动机格值上下文无关文法格值语言格值Chomsky范式文法; Keywords lattice-ordered monoid lattice-valued pushdown automata lattice-valued context-free grammar lattice-valued language Chomsky normal form grammar; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Mizumoto格值有限自动机及其最小化: 5; 作者汪洋杨琼; 机构四川师范大学数学与软件科学学院; 出处《计算机科学与探索》 CSCD 2009年第4期441-446,共6页; 基金国家自然科学基金No.10671030 四川省青年科技基金No.07ZQ026-114~~; 文摘提出取值为格半群的Mizumoto格值有限自动机的概念,得到基于模糊字符串的Mizumoto格值有限自动机的扩张模型,并详细讨论了其性质。同时建立了扩张Mizumoto格值有限自动机与标准扩张Mizumoto格值有限自动机的等价性,在此基础上给出了其最小化算法。; 关键词格值模糊字符串 Mizumoto格值有限自动机最小化; Keywords lattice fuzzy strings Mizumoto lattice finite automata minimization; 分类号 TP11 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名格值交替树自动机: 6; 作者魏秀娟李永明; 机构陕西师范大学数学与信息科学学院陕西师范大学计算机科学学院; 出处《软件学报》 EI CSCD 北大核心 2019年第12期3605-3621,共17页; 基金国家自然科学基金(11671244,11271237) 高等学校博士学科点专项科研基金(20130202110001)~~; 文摘交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法.; 关键词格值交替树自动机格值正布尔公式对偶运算格值计算树接受运行; Keywords L-valued alternating tree automata L-valued positive Boolean formula dual operation L-valued computation tree accepting run; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	格值自动机与语言	李永明	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2003	39	在线阅读下载PDF 职称材料
2	一类格值自动机的极小化	冯甄玲	《计算机工程与应用》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
3	格值有限自动机的乘积	刘军莫智文	《高校应用数学学报（A辑）》 CSCD 北大核心	2009	10	在线阅读下载PDF 职称材料
4	格值下推自动机与格值上下文无关文法	彭家寅	《计算机工程与应用》 CSCD 北大核心	2011	8	在线阅读下载PDF 职称材料
5	Mizumoto格值有限自动机及其最小化	汪洋杨琼	《计算机科学与探索》 CSCD	2009	0	在线阅读下载PDF 职称材料
6	格值交替树自动机	魏秀娟李永明	《软件学报》 EI CSCD 北大核心	2019	0	在线阅读下载PDF 职称材料