正规文法

作品数:12被引量:8H指数:2
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:葛寒松罗海丽邓超成邹俊钱忠胜更多>>
相关机构:商丘师范学院内蒙古科技大学四川师范大学江西财经大学更多>>
相关期刊:《商丘师范学院学报》《福建电脑》《计算机光盘软件与应用》《中原工学院学报》更多>>
相关基金:湖南省自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
正规文法与有穷自动机的等价性研究
《电子制作》2016年第06X期100-100,共1页李忠武 
正规表达式首先由Keene在20世纪50年代开始研究。McCullough和Pitts提出了一种描述神经活动的有穷自动机模型,从此以后,正规表达式和有穷自动机在计算机科学中得到了广泛应用。通常,对于正规文法G和有限自动机M,M所定义的语言记作L(G),...
关键词:正规式 正规文法 构造方法 等价性 有限自动机 
正规文法在词法分析器建模中的应用研究
《电脑与电信》2011年第12期52-53,共2页罗海丽 
利用正规文法对词法分析器建模的核心是用正规文法建立词法模型。以PL/0语言为例描述了用正规文法建立词法模型及以正规文法形式的词法模型为基础构造词法分析器的过程,并通过实例分析了用这种方法产生的词法分析器的工作过程。以正规...
关键词:正规文法 有穷自动机 控制程序 词法模型 词法分析器 
有穷自动机在词法分析器建模中的应用研究
《福建电脑》2011年第11期95-96,共2页罗海丽 
有穷自动机可用于描述语言的词法模型,有穷自动机形式的词法模型与特定的控制程序相配合可构成语言的词法分析器。介绍了利用有穷自动机建立语言的词法模型及以此词法模型为基础构建词法分析器的过程。实例证明,该方法构造的词法分析器...
关键词:有穷自动机 正规文法 控制程序 词法模型 词法分析器 
正规文法与有限自动机的等价性研究被引量:2
《商丘师范学院学报》2010年第12期75-77,共3页葛寒松 
通过证明正规文法和有限自动机之间的等价性定理,给出正规文法和有限自动机之间的等价构造方法.
关键词:正规文法 有限自动机 等价性 构造方法 
正规文法与有限自动机的等价性研究
《计算机光盘软件与应用》2010年第5期117-118,共2页葛寒松 柴晓辉 
通过证明正规文法和有限自动机之间的等价性定理,给出正规文法和有限自动机之间的等价构造方法。
关键词:正规文法 有限自动机 等价性 构造方法 
正规文法与有限自动机的等价构造被引量:3
《计算机应用与软件》2008年第6期110-112,共3页钱忠胜 邹俊 
在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该...
关键词:有限自动机 DFA NFA 正规文法 
一种改进的有限自动机正则化方法研究
《中原工学院学报》2008年第3期61-64,共4页孙俊 孙玉强 杨瑞敏 胡伟强 
有限自动机与正则表达式具有等价性,针对传统算法在处理特定有限自动机正则化中的缺陷,通过对终止状态F,加入δ(F,ξ)=F的转换函数,有效地解决了传统算法中不能利用正规表达式方程组求解的问题,并举例证明其实现过程.
关键词:自动机 正规文法 正则表达式 产生式 
基于Petri网的词法分析器的研究被引量:1
《长沙理工大学学报(自然科学版)》2004年第3期57-62,共6页汪琳 乐晓波 李京京 
湖南省自然科学基金资助项目(01JJY2061).
采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的"矢量文法",并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.
关键词:PETRI网 词法分析器 “矢量文法” 编译技术 建模 右线性正规文法 
正规式与正规文法的等价性及转化算法
《甘肃高师学报》2001年第5期14-17,共4页晏兴学 
给出了正规式可转化为正规文法的一个立接证明及相互转化的算法.
关键词:等价性 转化算法 正规文法 正规式 机算法编译理论 
正规文法、NFA、DFA、状态转换图、正规式之间的等价变换关系及变换方法被引量:2
《四川师范大学学报(自然科学版)》1997年第2期89-92,共4页邓超成 
正规文法、NFA、DFA、状态转换图、正规式是形式语言理论的基础概念,也是编译原理词法分析理论中的重要概念和工具.本文讨论了它们之间的等价变换关系。
关键词:正规文法 NFA DFA 状态转换图 正规式 等价变换 
检索报告 对象比较 聚类工具 使用帮助 返回顶部