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