期刊文献+
共找到49篇文章
< 1 2 3 >
每页显示 20 50 100
The Equivalent Conversion between Regular Grammar and Finite Automata
1
作者 Jielan Zhang Zhongsheng Qian 《Journal of Software Engineering and Applications》 2013年第1期33-37,共5页
The equivalence exists between regular grammar and finite automata in accepting languages. Some complicated conversion algorithms have also been in existence. The simplified forms of the algorithms and their proofs ar... The equivalence exists between regular grammar and finite automata in accepting languages. Some complicated conversion algorithms have also been in existence. The simplified forms of the algorithms and their proofs are given. And the construction algorithm 5 of the equivalent conversion from finite automata to left linear grammar is presented as well as its correctness proof. Additionally, a relevant example is expounded. 展开更多
关键词 regular grammar FINITE AUTOMATA NFA DFA
在线阅读 下载PDF
使用概率规则文法评估人机界面可用性 被引量:4
2
作者 王常青 王绪刚 +2 位作者 马翠霞 邓昌智 戴国忠 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第12期2709-2715,共7页
提出一种在界面系统设计规约的基础上使用的可用性评估方法.首先使用有限状态自动机抽象界面系统设计,根据概率规则文法对有限状态自动机的状态转换概率进行预测;然后结合用户的熟练程度提出了界面可用性评估算法;最后讨论了一个手机界... 提出一种在界面系统设计规约的基础上使用的可用性评估方法.首先使用有限状态自动机抽象界面系统设计,根据概率规则文法对有限状态自动机的状态转换概率进行预测;然后结合用户的熟练程度提出了界面可用性评估算法;最后讨论了一个手机界面的可用性计算实例.文中方法能够在界面系统生命周期的早期使用,以较早地对不同设计方案进行比较,降低开发风险. 展开更多
关键词 人机界面 可用性评估 概率规则文法 有限状态自动机
在线阅读 下载PDF
基于模板的汉英专利机器翻译研究 被引量:6
3
作者 张冬梅 刘小蝶 晋耀红 《计算机应用研究》 CSCD 北大核心 2013年第7期2044-2046,2071,共4页
为了改善专利文献的机器翻译效果,提出了一种基于模板的机器翻译方法。通过分析汉英双语对齐的专利文献语料,人工书写了600余条模板,模板的设计思想源于弱化的正则文法;设计和实现了一个模板翻译模块,并将其与已有的一个基于规则的机器... 为了改善专利文献的机器翻译效果,提出了一种基于模板的机器翻译方法。通过分析汉英双语对齐的专利文献语料,人工书写了600余条模板,模板的设计思想源于弱化的正则文法;设计和实现了一个模板翻译模块,并将其与已有的一个基于规则的机器翻译系统相融合。实验结果表明,40%以上的测试文本的翻译质量得到了提高,因此,这种基于模板的方法对于改善专利文献的机器翻译效果是有效的。 展开更多
关键词 模板 专利文献 机器翻译 正则文法
在线阅读 下载PDF
XML模式推断研究综述 被引量:4
4
作者 郑黎晓 王成 《电子学报》 EI CAS CSCD 北大核心 2016年第2期461-471,共11页
本文对XML(Extensible Markup Language)数据的模式推断问题研究现状与进展进行了阐述.首先,从正规树文法的角度介绍了不同模式语言的理论模型.进而从模式推断方法、目标模式语言、支持的表达能力、内容模型对应的正则表达式类型等多个... 本文对XML(Extensible Markup Language)数据的模式推断问题研究现状与进展进行了阐述.首先,从正规树文法的角度介绍了不同模式语言的理论模型.进而从模式推断方法、目标模式语言、支持的表达能力、内容模型对应的正则表达式类型等多个方面对当前研究工作进行了细致的分类归纳和对比.此外,还介绍了模式语言中支持的基本语义完整性约束推断的研究进展.最后指出了当前研究中的不足,并对未来需要深入研究的方向进行了展望.重在对XML模式推断的主流方法和前沿进展进行概括、比较和分析,以期对后续研究有所助益. 展开更多
关键词 可扩展标记语言 模式推断 正规树文法 正则表达式
在线阅读 下载PDF
正规文法与有限自动机的等价构造 被引量:3
5
作者 钱忠胜 邹俊 《计算机应用与软件》 CSCD 北大核心 2008年第6期110-112,共3页
在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该... 在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该算法的一个实例。 展开更多
关键词 有限自动机 DFA NFA 正规文法
在线阅读 下载PDF
最大乘积型Fuzzy文法与自动机 被引量:5
6
作者 莫智文 舒兰 《四川师范大学学报(自然科学版)》 CAS CSCD 1996年第6期36-39,共4页
本文对最大乘积型Fuzzzy文法与最大乘积型Fuzzy自动机的关系作了详细讨论,得出了两个重要的结论:由给定的最大乘积型Fuzzy正规文法可构造出一个最大乘积型Fuzzy自动机,使得它们接受的语言集相等,反之亦然.
关键词 模糊文法 自动机 最大乘积型文法
在线阅读 下载PDF
工业机器人语言的词法语法分析器研究 被引量:9
7
作者 郑炳坤 叶峰 +1 位作者 赵崇裕 赖乙宗 《机械设计与制造》 北大核心 2014年第1期209-212,共4页
解释器与编译器是把工业机器人语言程序翻译成目标代码的两种主要语言处理器实现技术,但二者的翻译过程都离不开词法语法分析环节。词法分析器主要用于识别语言系统的标识符及关键字等标记,而语法分析器则对这些标记所组成的句子进行语... 解释器与编译器是把工业机器人语言程序翻译成目标代码的两种主要语言处理器实现技术,但二者的翻译过程都离不开词法语法分析环节。词法分析器主要用于识别语言系统的标识符及关键字等标记,而语法分析器则对这些标记所组成的句子进行语法检查等。高效准确的词法语法分析是实现工业机器人语言程序向可执行目标代码翻译的关键之一。提出以C语言为蓝本的动作级工业机器人语言的体系结构及指令集;采用Parser Generator工具来开发词法语法分析器,运用正则表达式和LR文法来描述扩展工业机器人语言的词法语法规则,并指出了非法格式的错误报告实现。对所开发的可视化分析器进行的实例测试表明,分析结果正确可靠。 展开更多
关键词 词法语法分析 工业机器人语言 PARSER GENERATOR 正则表达式 LR文法
在线阅读 下载PDF
Fuzzy正则语言与Fuzzy正则文法的关系 被引量:2
8
作者 柏明强 莫智文 《四川师范大学学报(自然科学版)》 CAS CSCD 2001年第1期26-28,共3页
通过对Fuzzy正则语言与Fuzzy正则文法的关系的讨论 ,得到了二者的等价关系 ,这是进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的一个起点 .
关键词 FUZZY有限状态自动机 FUZZY正则语言 FUZZY正则
在线阅读 下载PDF
基于Unsharp量子逻辑的自动机和文法理论 被引量:6
9
作者 彭家寅 《计算机工程与应用》 CSCD 2012年第28期57-60,共4页
初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架。引入了ε-值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言;反之,任意ε-值... 初步建立了具有某种分配律的扩展格序效应代数和格序QMV代数这两种unsharp量子结构上的自动机与文法理论的基本框架。引入了ε-值正则文法的概念,证明了任意ε-值自动机识别的语言等价于某种ε-值正则文法所生成的语言;反之,任意ε-值正则文法所生成的语言等价于某种ε-值自动机识别的语言。讨论了ε-值正则语言在和、连接及反转运算下的封闭性质。 展开更多
关键词 unsharp量子逻辑 ε-值自动机 ε-值正则文法 ε-值正则语言 正则算子
在线阅读 下载PDF
模式语言的本体学习方法 被引量:1
10
作者 王岁花 赵爱玲 马巍巍 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第5期33-36,共4页
概括了模式语言的本体映射机制,讨论了如何将模式语言映射成一棵语法树,然后使用映射规则将语法树中的元素翻译为本体中相应的概念和关系,最后给出该方法的应用实例.
关键词 模式语言 正则树语法 本体映射
在线阅读 下载PDF
最大乘积型Fuzzy文法与自动机 被引量:1
11
作者 舒兰 莫智文 《模糊系统与数学》 CSCD 1997年第4期18-22,共5页
本文对提出的最大乘积型Fuzzy文法与最大乘积型Fuzzy自动机的关系作了详细讨论,得出了两个重要的结论。即:由给定的最大乘积型Fuzzy正规文法可构造一个最大乘积型Fuzzy自动机使得二者接受的语言集相同,反之亦然... 本文对提出的最大乘积型Fuzzy文法与最大乘积型Fuzzy自动机的关系作了详细讨论,得出了两个重要的结论。即:由给定的最大乘积型Fuzzy正规文法可构造一个最大乘积型Fuzzy自动机使得二者接受的语言集相同,反之亦然。从而达到自动识别语言的目的。 展开更多
关键词 最大乘积型 自动机 模糊文法 模糊自动机
在线阅读 下载PDF
正规文法与有限自动机的等价性研究 被引量:2
12
作者 葛寒松 《商丘师范学院学报》 CAS 2010年第12期75-77,共3页
通过证明正规文法和有限自动机之间的等价性定理,给出正规文法和有限自动机之间的等价构造方法.
关键词 正规文法 有限自动机 等价性 构造方法
在线阅读 下载PDF
有限自动机正则化方法研究 被引量:2
13
作者 黎远松 《四川理工学院学报(自然科学版)》 CAS 2005年第1期49-51,共3页
有限自动机正则化是编译中的重要技术,文章针对现有有限自动机正则化方法的不足,分析了有限自动机正则化的本质,提出了一个新的有限自动机正则化方法。这个新的方法具有通用的特点。
关键词 有限自动机 正则化方法 编译
在线阅读 下载PDF
DFSM简化过程的表达方法研究 被引量:1
14
作者 黎远松 《四川理工学院学报(自然科学版)》 CAS 2006年第3期72-74,共3页
文章讨论确定有限状态机(DFSM)简化过程的表示问题,指出传统的线性顺序法存在直观性差、层次不分明、难于理解的不足,提出简化树法,它具有直观、有效的特点。
关键词 正则文法 正则表达式 确定有限状态机
在线阅读 下载PDF
一种DNA计算系统的有限自动机模型
15
作者 范忠骏 王波 于玲 《上海理工大学学报》 CAS 北大核心 2004年第4期360-362,367,共4页
通过一个实例给出了粘贴系统模型的基本定义,讨论了粘贴系统模型的正则文法特性,并从自动机的角度给出了相当于正则文法表达能力的有限自动机模型.
关键词 Sticker系统 DNA计算 有限自动机 正则文法
在线阅读 下载PDF
模糊正则文法的逼近性
16
作者 王拥兵 李永明 《模糊系统与数学》 CSCD 北大核心 2008年第6期130-134,共5页
为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近。研究表明,当t-模*满足一定的条件时,m... 为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近。研究表明,当t-模*满足一定的条件时,max-*型模糊正则文法与max-min型模糊正则文法在生成模糊语言能力方面是等价的。 展开更多
关键词 max-*型模糊正则文法 模糊正则语言 逼近性 等价
在线阅读 下载PDF
一种基于模式覆盖的XML文档自动生成方法
17
作者 郑黎晓 王成 常青玲 《小型微型计算机系统》 CSCD 北大核心 2015年第1期77-82,共6页
XML文档自动生成在XML模式验证及网络环境下应用程序的测试中有广泛的应用.提出一种基于模式覆盖的XML文档自动生成方法,从给定模式中生成一组有效的且具有一定模式覆盖性的XML文档.采用正规树文法作为XML模式语言的形式模型,通过分析XM... XML文档自动生成在XML模式验证及网络环境下应用程序的测试中有广泛的应用.提出一种基于模式覆盖的XML文档自动生成方法,从给定模式中生成一组有效的且具有一定模式覆盖性的XML文档.采用正规树文法作为XML模式语言的形式模型,通过分析XML文档树与字符串之间的对应关系,将正规树文法转换为上下文无关文法,然后利用基于文法覆盖准则的句子生成算法从上下文无关文法中生成一组满足特定覆盖准则的句子,最后将句子还原为XML文档.实例分析和实验结果表明,生成的XML文档能较好地反映模式定义中的各种结构信息,可有效应用于XML模式验证及相关应用程序的功能测试. 展开更多
关键词 XML XML模式 自动生成 正规树文法 上下文无关文法
在线阅读 下载PDF
正则语言的可递归性
18
作者 闵兰 陈晓敏 《重庆邮电大学学报(自然科学版)》 北大核心 2009年第6期819-820,836,共3页
根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动... 根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。 展开更多
关键词 正则文法 确定有限自动机 递归可枚举集
在线阅读 下载PDF
一种改进的有限自动机正则化方法研究
19
作者 孙俊 孙玉强 +1 位作者 杨瑞敏 胡伟强 《中原工学院学报》 CAS 2008年第3期61-64,共4页
有限自动机与正则表达式具有等价性,针对传统算法在处理特定有限自动机正则化中的缺陷,通过对终止状态F,加入δ(F,ξ)=F的转换函数,有效地解决了传统算法中不能利用正规表达式方程组求解的问题,并举例证明其实现过程.
关键词 自动机 正规文法 正则表达式 产生式
在线阅读 下载PDF
FDA与模糊语言及与其它自动机的等价性(英文)
20
作者 吴青娥 舒兰 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第3期484-488,共5页
作者讨论了有限态确定模糊自动机FDA与它相应的模糊语言以及FDA与其它自动机的等价性.这就为任何自动机的抽取和应用奠定了理论基础.
关键词 正规模糊文法 有限态确定模糊自动机FDA 模糊有限态自动机FFA
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部