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

基于量子逻辑的确定型正则文法: 1; 作者王拥兵张丽霞雷红轩《计算机工程与科学》 CSCD 北大核心 2013年第9期45-50,共6页; 基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和... 展开更多; 关键词量子逻辑正交模格量子确定型正则文法量子确定正则语言; 在线阅读下载PDF 职称材料

格值正则文法及其语言的性质被引量：1: 2; 作者盛莉李平李永明《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期5-8,共4页; 给出了(确定)格值正则文法与(确定)格值正则语言的定义.从一个新的角度,即文法的角度研究确定格值正则语言关于正则运算的封闭性,从而完善了格值正则语言的运算性质,并给出了格值正则文法与确定格值正则文法等价的条件.; 关键词格值正则文法格值正则语言确定格值正则语言格半群; 在线阅读下载PDF 职称材料

取值于赋值幺半群的加权正则文法语言被引量：1: 3; 作者赵菲李永明《计算机工程与科学》 CSCD 北大核心 2016年第7期1405-1412,共8页; 正则文法是研究自动机的重要工具。引入取值于赋值幺半群的加权正则文法、加权类正则文法的定义,讨论了赋值幺半群上加权正则文法、加权类正则文法和加权有限自动机(WFA)的关系。证明了在赋值幺半群上,已知一个加权正则文法或加权类正... 展开更多; 关键词赋值幺半群加权正则文法加权自动机; 在线阅读下载PDF 职称材料

基于Unsharp量子逻辑的自动机和文法理论被引量：6: 4; 作者彭家寅《计算机工程与应用》 CSCD 2012年第28期57-60,共4页; 初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架。引入了ε-值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言;反之,任意ε-值... 展开更多; 关键词 unsharp量子逻辑 ε-值自动机 ε-值正则文法 ε-值正则语言正则算子; 在线阅读下载PDF 职称材料

上下文无关文法与无限状态自动机被引量：8: 5; 作者吕映芝《电子学报》 EI CAS CSCD 北大核心 1996年第8期23-27,共5页; 目前，在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机，在研究正则语言时常用的形式系统是正则文法和有限状态自动机．正则文法中的符号和有限状态自动机的符号之间的对应关系比较明显，因此，两种系统之间的转换... 展开更多; 关键词正则文法有限状态自动机无限状态自动机; 在线阅读下载PDF 职称材料

基于模板的汉英专利机器翻译研究被引量：6: 6; 作者张冬梅刘小蝶晋耀红《计算机应用研究》 CSCD 北大核心 2013年第7期2044-2046,2071,共4页; 为了改善专利文献的机器翻译效果,提出了一种基于模板的机器翻译方法。通过分析汉英双语对齐的专利文献语料,人工书写了600余条模板,模板的设计思想源于弱化的正则文法;设计和实现了一个模板翻译模块,并将其与已有的一个基于规则的机器... 展开更多; 关键词模板专利文献机器翻译正则文法; 在线阅读下载PDF 职称材料

一种DNA计算系统的有限自动机模型: 7; 作者范忠骏王波于玲《上海理工大学学报》 CAS 北大核心 2004年第4期360-362,367,共4页; 通过一个实例给出了粘贴系统模型的基本定义,讨论了粘贴系统模型的正则文法特性,并从自动机的角度给出了相当于正则文法表达能力的有限自动机模型.; 关键词 Sticker系统 DNA计算有限自动机正则文法; 在线阅读下载PDF 职称材料

题名基于量子逻辑的确定型正则文法: 1; 作者王拥兵张丽霞雷红轩; 机构安庆师范学院数学与计算科学学院内江师范学院数学与信息科学学院; 出处《计算机工程与科学》 CSCD 北大核心 2013年第9期45-50,共6页; 基金安徽省优秀青年人才基金项目(2011SQRL097) 安庆师范学院青年科研基金项目(KJ201214); 文摘基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。; 关键词量子逻辑正交模格量子确定型正则文法量子确定正则语言; Keywords Key words： quantum logic orthomodular lattice orthomodular lattice-valued deterministic regulargrammas orthomodular lattice-valued deterministic regular languages; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名格值正则文法及其语言的性质被引量：1: 2; 作者盛莉李平李永明; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期5-8,共4页; 基金国家自然科学基金资助项目(60174016) 高等学校优秀青年教师教学科研奖励计划项目(教人司2002[59号]) 国家重点基础研究发展计划资助项目(973)(2002CB312200); 文摘给出了(确定)格值正则文法与(确定)格值正则语言的定义.从一个新的角度,即文法的角度研究确定格值正则语言关于正则运算的封闭性,从而完善了格值正则语言的运算性质,并给出了格值正则文法与确定格值正则文法等价的条件.; 关键词格值正则文法格值正则语言确定格值正则语言格半群; Keywords lattice-valued regular grammar lattice-valued regular language deterministic lattice-valued regular grammar lattice monoid; 分类号 O235 [理学—运筹学与控制论] TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名取值于赋值幺半群的加权正则文法语言被引量：1: 3; 作者赵菲李永明; 机构陕西师范大学数学与信息科学学院; 出处《计算机工程与科学》 CSCD 北大核心 2016年第7期1405-1412,共8页; 基金国家自然科学基金(11271237 61228305); 文摘正则文法是研究自动机的重要工具。引入取值于赋值幺半群的加权正则文法、加权类正则文法的定义,讨论了赋值幺半群上加权正则文法、加权类正则文法和加权有限自动机(WFA)的关系。证明了在赋值幺半群上,已知一个加权正则文法或加权类正则文法,分别存在一个WFA与之等价。定义了可分配的赋值幺半群,证明了在可分配的赋值幺半群上已知一个WFA,存在一个加权正则文法和加权类正则文法与之等价,即证明了可分配的赋值幺半群上加权正则文法、加权类正则文法和WFA在生成语言上等价,并举例说明了赋值幺半群的可分配性不是已知WFA存在与之等价的加权正则文法或加权类正则文法的必要条件。; 关键词赋值幺半群加权正则文法加权自动机; Keywords valuation monoid weighted regular grammar weighted finite automata; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于Unsharp量子逻辑的自动机和文法理论被引量：6: 4; 作者彭家寅; 机构四川省高等学校数值仿真重点实验室; 出处《计算机工程与应用》 CSCD 2012年第28期57-60,共4页; 基金国家自然科学基金(No.11071178) 四川省科技厅重点科技项目(No.2006J13-035) 四川省教育厅重点实验室专项(No.2006ZD050); 文摘初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架。引入了ε-值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言;反之,任意ε-值正则文法所生成的语言等价于某种ε-值自动机识别的语言。讨论了ε-值正则语言在和、连接及反转运算下的封闭性质。; 关键词 unsharp量子逻辑 ε-值自动机 ε-值正则文法 ε-值正则语言正则算子; Keywords unsharp quantum logic ε -valued automaton ε-valued regular grammar ε-valued regular language regular operation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名上下文无关文法与无限状态自动机被引量：8: 5; 作者吕映芝; 机构清华大学计算机科学与技术系; 出处《电子学报》 EI CAS CSCD 北大核心 1996年第8期23-27,共5页; 文摘目前，在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机，在研究正则语言时常用的形式系统是正则文法和有限状态自动机．正则文法中的符号和有限状态自动机的符号之间的对应关系比较明显，因此，两种系统之间的转换比较容易，并且在这两种系统中观察语言性质时，可以得到相对一致的解释，上下文无关文法与下推自动机之间的对应关系则不够明显，本文所介绍的无限状态自动机也是一种上下文无关语言的识别系统，但它对于上下文无关文法类似于有限状态自动机对于正则文法那样，相互符号间有较明显的对应关系，从而带来相应的好处．; 关键词正则文法有限状态自动机无限状态自动机; Keywords Regular grammar Context free grammar Finite automaton Pushdown automaton Infinite state automaton Generating system Recognizing system; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于模板的汉英专利机器翻译研究被引量：6: 6; 作者张冬梅刘小蝶晋耀红; 机构北京师范大学中文信息处理研究所; 出处《计算机应用研究》 CSCD 北大核心 2013年第7期2044-2046,2071,共4页; 基金国家"863"计划基金资助项目(2012AA011104); 文摘为了改善专利文献的机器翻译效果,提出了一种基于模板的机器翻译方法。通过分析汉英双语对齐的专利文献语料,人工书写了600余条模板,模板的设计思想源于弱化的正则文法;设计和实现了一个模板翻译模块,并将其与已有的一个基于规则的机器翻译系统相融合。实验结果表明,40%以上的测试文本的翻译质量得到了提高,因此,这种基于模板的方法对于改善专利文献的机器翻译效果是有效的。; 关键词模板专利文献机器翻译正则文法; Keywords template patent document machine translation regular grammar; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种DNA计算系统的有限自动机模型: 7; 作者范忠骏王波于玲; 机构上海理工大学管理学院; 出处《上海理工大学学报》 CAS 北大核心 2004年第4期360-362,367,共4页; 文摘通过一个实例给出了粘贴系统模型的基本定义,讨论了粘贴系统模型的正则文法特性,并从自动机的角度给出了相当于正则文法表达能力的有限自动机模型.; 关键词 Sticker系统 DNA计算有限自动机正则文法; Keywords Sticker system DNA computing finite automata regular grammar; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构] TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于量子逻辑的确定型正则文法	王拥兵张丽霞雷红轩	《计算机工程与科学》 CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料
2	格值正则文法及其语言的性质	盛莉李平李永明	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料
3	取值于赋值幺半群的加权正则文法语言	赵菲李永明	《计算机工程与科学》 CSCD 北大核心	2016	1	在线阅读下载PDF 职称材料
4	基于Unsharp量子逻辑的自动机和文法理论	彭家寅	《计算机工程与应用》 CSCD	2012	6	在线阅读下载PDF 职称材料
5	上下文无关文法与无限状态自动机	吕映芝	《电子学报》 EI CAS CSCD 北大核心	1996	8	在线阅读下载PDF 职称材料
6	基于模板的汉英专利机器翻译研究	张冬梅刘小蝶晋耀红	《计算机应用研究》 CSCD 北大核心	2013	6	在线阅读下载PDF 职称材料
7	一种DNA计算系统的有限自动机模型	范忠骏王波于玲	《上海理工大学学报》 CAS 北大核心	2004	0	在线阅读下载PDF 职称材料