期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
右线性文法与有限自动机等价性的一个新证明
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
作者
韩光辉
曾诚
机构
武汉商业服务学院信息工程系
武汉大学软工程国家重点实验室
出处
《电脑与信息技术》
2012年第1期1-4,32,共5页
基金
国家自然科学基金(项目编号:60873083)
湖北省教育科学"十一五"规划课题(项目编号:2010B338)
文摘
迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文法与有限自动机的等价性;最后简要阐述了右线性方程组在有限自动机的矩阵模型和正则语言类的形式模型方面的研究意义。
关键词
右线性文法
有限自动机
等价性
右线性方程组
最小解
Keywords
right
-
linear
grammar
finite
automata
equivalence
system
of
right
-
linear
equations
minimal
solution
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
Fuzzy正规集合与Fuzzy右线性文法的关系
被引量:
9
2
作者
柏明强
莫智文
机构
四川师范大学数学系
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2000年第3期258-261,共4页
基金
国家自然科学基金
文摘
在文献[1]的基础上,对Fuzzy正规集合和Fuzzy右线性文法之间的关系作了进一步的探讨,证明了Fuzzy正规集合的右线性可表示性,为进一步研究Fuzzy正规集合与Fuzzy有限状态自动机的关系提供了一种新方法。
关键词
Fuzzy正规集合
Fuzzy右线性文法
正规集合
Keywords
Fuzzy
Regular
Set,
Fuzzy
Finite-State
Automaton,
Fuzzy
right
-
linear
grammar
,
Fuzzy
linear
Production
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
原文传递
题名
基于Petri网的词法分析器的研究
被引量:
1
3
作者
汪琳
乐晓波
李京京
机构
长沙理工大学公路工程学院
长沙理工大学计算机与通信工程学院
出处
《长沙理工大学学报(自然科学版)》
CAS
2004年第3期57-62,共6页
基金
湖南省自然科学基金资助项目(01JJY2061).
文摘
采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的"矢量文法",并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.
关键词
PETRI网
词法分析器
“矢量文法”
编译技术
建模
右线性正规文法
Keywords
Petri
net
lexical
analysis
normal
right
-
linear
grammar
compiling
technology
分类号
TP301.5 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一类特殊形式的Fuzzy正则语言注记
4
作者
毕丹
机构
宜宾学院初等教育学院
出处
《四川师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第1期111-113,共3页
文摘
对一类特殊形式的Fuzzy正则语言作了一定的讨论,得到了两个重要定理,为进一步研究Fuzzy正则语言与Fuzzy有限状态自动机的关系奠定了基础.
关键词
Fuzzy正则语言
Fuzzy有限状态自动机
Fuzzy右线性文法
Fuzzy线性生成式
派生
Keywords
Fuzzy
regular
set
Fuzzy
finite-state
automaton
Fuzzy
right
-
linear
grammar
Fuzzy
linear
production
Derivation
分类号
O235 [理学—运筹学与控制论]
下载PDF
职称材料
题名
文法的Petri网模型及其构造算法
被引量:
3
5
作者
闫春钢
蒋昌俊
机构
山东矿业学院
同济大学
出处
《应用科学学报》
CAS
CSCD
1999年第1期58-63,共6页
基金
国家自然科学基金
中国博士后科学基金
+3 种基金
山东省自然科学基金
煤炭部跨世纪学术带头人基金
东南大学国家教委网络实验室基金
中科院开放实验室基金
文摘
针对几类典型文法:右线性文法,表达式文法以及属性树状文法提出相应的Petri网表示模型,给出模型构造的有效算法,讨论了模型的有关性质.结合Petri网的引发规则,通过例子指出了基于Petri网表示模型的语言产生过程.由此表明这种模型不仅具有树文法、图文法的图形直观性,而且由于Petri网自身的特色——token标记,增加了文法推导过程的动态信息——token信息流.
关键词
右线性文法
文法
形式语言
PETRI网
构造算法
Keywords
right
linear
grammar
,
expression
grammar
,
property
tree
formal
grammar
,
Petri
net,
construction
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
右线性文法与有限自动机等价性的一个新证明
韩光辉
曾诚
《电脑与信息技术》
2012
0
下载PDF
职称材料
2
Fuzzy正规集合与Fuzzy右线性文法的关系
柏明强
莫智文
《模式识别与人工智能》
EI
CSCD
北大核心
2000
9
原文传递
3
基于Petri网的词法分析器的研究
汪琳
乐晓波
李京京
《长沙理工大学学报(自然科学版)》
CAS
2004
1
下载PDF
职称材料
4
一类特殊形式的Fuzzy正则语言注记
毕丹
《四川师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
0
下载PDF
职称材料
5
文法的Petri网模型及其构造算法
闫春钢
蒋昌俊
《应用科学学报》
CAS
CSCD
1999
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部