期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
文法的Petri网模型及其构造算法 被引量:3
1
作者 闫春钢 蒋昌俊 《应用科学学报》 CAS CSCD 1999年第1期58-63,共6页
针对几类典型文法:右线性文法,表达式文法以及属性树状文法提出相应的Petri网表示模型,给出模型构造的有效算法,讨论了模型的有关性质.结合Petri网的引发规则,通过例子指出了基于Petri网表示模型的语言产生过程.... 针对几类典型文法:右线性文法,表达式文法以及属性树状文法提出相应的Petri网表示模型,给出模型构造的有效算法,讨论了模型的有关性质.结合Petri网的引发规则,通过例子指出了基于Petri网表示模型的语言产生过程.由此表明这种模型不仅具有树文法、图文法的图形直观性,而且由于Petri网自身的特色——token标记,增加了文法推导过程的动态信息——token信息流. 展开更多
关键词 线性文法 文法 形式语言 PETRI网 构造算法
下载PDF
KMP算法在正则文法中的应用
2
作者 徐建金 《计算机光盘软件与应用》 2013年第20期91-92,共2页
KMP又被称作克努特——莫里斯——普拉特操作(简称KMP算法)它是一种模式匹配算法,这个算法的关键是根据给定的模式串W1,m,定义一个next函数。本文阐述了利用KMP算法的匹配思想,解决不包含莫字符串系列的正则文法,该正则文法主要是用在... KMP又被称作克努特——莫里斯——普拉特操作(简称KMP算法)它是一种模式匹配算法,这个算法的关键是根据给定的模式串W1,m,定义一个next函数。本文阐述了利用KMP算法的匹配思想,解决不包含莫字符串系列的正则文法,该正则文法主要是用在词法分析过程中找出程序中的错误的代码,且对应的自动机中无等价的状态。本文根据KMP、正则文法和自动机的定义和基本原理证明了此技术的可行性和正确性,为编译程序设计提供自动生成最小化正则文法的技术和实现程序以供参考。 展开更多
关键词 KMP算法 正则文法 线性文法 线性文法 混合线性文法 L(GL)
下载PDF
KMP算法在正则文法中的应用
3
作者 聂伟强 《科技广场》 2008年第1期28-30,共3页
本文应用KMP算法解决一类"不含莫字符串系列"正则文法。通过KMP算法的匹配思想,自动生成等价于自动机状态集最小化的正则文法(包括左线性文法、右线性文法和混合线性文法),解决该类正则文法自动生成的技术,使编译程序设计增... 本文应用KMP算法解决一类"不含莫字符串系列"正则文法。通过KMP算法的匹配思想,自动生成等价于自动机状态集最小化的正则文法(包括左线性文法、右线性文法和混合线性文法),解决该类正则文法自动生成的技术,使编译程序设计增添一个新的技术手段。 展开更多
关键词 KMP算法 正则文法 线性文法 线性文法
下载PDF
右线性文法与有限自动机等价性的一个新证明
4
作者 韩光辉 曾诚 《电脑与信息技术》 2012年第1期1-4,32,共5页
迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右... 迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文法与有限自动机的等价性;最后简要阐述了右线性方程组在有限自动机的矩阵模型和正则语言类的形式模型方面的研究意义。 展开更多
关键词 线性文法 有限自动机 等价性 线性方程组 最小解
下载PDF
正则式上右线性文法生成算法
5
作者 宋明杰 《辽宁大学学报(自然科学版)》 CAS 2001年第1期15-17,共3页
本文旨在给出一种由正则式RE生成有限自动机再生成右线性文法的算法 .
关键词 正则式 有限自动机 线性文法 形式语言 算法
下载PDF
Fuzzy正规集合与Fuzzy右线性文法的关系 被引量:9
6
作者 柏明强 莫智文 《模式识别与人工智能》 EI CSCD 北大核心 2000年第3期258-261,共4页
在文献[1]的基础上,对Fuzzy正规集合和Fuzzy右线性文法之间的关系作了进一步的探讨,证明了Fuzzy正规集合的右线性可表示性,为进一步研究Fuzzy正规集合与Fuzzy有限状态自动机的关系提供了一种新方法。
关键词 Fuzzy正规集合 Fuzzy线性文法 正规集合
原文传递
一类特殊形式的Fuzzy正则语言注记
7
作者 毕丹 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第1期111-113,共3页
对一类特殊形式的Fuzzy正则语言作了一定的讨论,得到了两个重要定理,为进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的关系奠定了基础.
关键词 Fuzzy正则语言 Fuzzy有限状态自动机 Fuzzy线性文法 Fuzzy线性生成式 派生
下载PDF
基于Petri网的词法分析器的研究 被引量:1
8
作者 汪琳 乐晓波 李京京 《长沙理工大学学报(自然科学版)》 CAS 2004年第3期57-62,共6页
采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的"矢量文法",并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.
关键词 PETRI网 词法分析器 “矢量文法 编译技术 建模 线性正规文法
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部