期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Petri网语言的Pumping引理
被引量:
13
1
作者
蒋昌俊
刘关俊
《计算机学报》
EI
CSCD
北大核心
2006年第2期274-278,共5页
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正...
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的.
展开更多
关键词
PETRI网
语言
正规语言
pumping引理
下载PDF
职称材料
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件
被引量:
33
2
作者
吴哲辉
《计算机学报》
EI
CSCD
北大核心
1994年第11期852-858,共7页
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断...
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断其语言属型.
展开更多
关键词
形式语言
pumping引理
PETRI网
PETRI网语言
下载PDF
职称材料
上下文无关Petri网语言的Pumping引理
被引量:
3
3
作者
张继军
吴哲辉
《小型微型计算机系统》
CSCD
北大核心
2008年第4期698-702,共5页
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却...
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却一直未给出.本文通过分析上下文无关Petri网语言的结构性质,给出了上下文无关Petri网语言的Pumping引理,并且正规Petri网语言的Pumping引理是上下文无关Petri网语言的Pumping引理的一种特殊形式,而上下文无关Petri网语言的Pump-ing引理又是Petri网语言Pumping引理的一种特殊形式,从而完整地解决了三类Petri网语言Pumping引理以及它们之间的关系.
展开更多
关键词
pumping引理
语言
PETRI网
上下文无关语言
下载PDF
职称材料
稠密相对正则语言的一些性质
被引量:
7
4
作者
黄磊
喻厚义
谷伟平
《西南大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第8期49-51,共3页
主要讨论了稠密相对正则语言的一些性质.相对于正则语言的pumping引理,给出了稠密相对正则语言的类似结论.继而证明了稠密相对正则语言都含有本原字.最后给出了稠密相对正则语言和极大码的一些联系.
关键词
稠密相对正则语言
pumping引理
本原字
极大码
下载PDF
职称材料
可交换上下文无关文法
被引量:
2
5
作者
张继军
吴哲辉
《计算机科学》
CSCD
北大核心
2007年第7期254-256,共3页
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,...
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。
展开更多
关键词
可交换上下文无关文法
可交换上下文无关语言
pumping引理
下载PDF
职称材料
上下文无关语言的可重复序列及其性质
被引量:
1
6
作者
张继军
范昊
《小型微型计算机系统》
CSCD
北大核心
2010年第6期1226-1230,共5页
通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图...
通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件.
展开更多
关键词
可重复序列
pumping引理
状态转换图
上下文无关语言
下载PDF
职称材料
题名
Petri网语言的Pumping引理
被引量:
13
1
作者
蒋昌俊
刘关俊
机构
同济大学计算机系
山东科技大学信息学院
出处
《计算机学报》
EI
CSCD
北大核心
2006年第2期274-278,共5页
基金
国家自然科学基金项目(60125205
90412013
+6 种基金
60473094
60534060)
国家"九七三"重点基础研究发展规划项目基金(2003CB316902
2004CB318001-03)
上海市优秀学科带头人计划项目基金(04XD14016)
上海市基础研究重点项目基金(03JC14071
05JC14063)资助
文摘
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的.
关键词
PETRI网
语言
正规语言
pumping引理
Keywords
Petri nets
language
regular language
pumping
lemma
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件
被引量:
33
2
作者
吴哲辉
机构
山东矿业学院应用数学与软件工程系
出处
《计算机学报》
EI
CSCD
北大核心
1994年第11期852-858,共7页
基金
国家自然科学基金
文摘
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断其语言属型.
关键词
形式语言
pumping引理
PETRI网
PETRI网语言
Keywords
Petri net,language, type
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
上下文无关Petri网语言的Pumping引理
被引量:
3
3
作者
张继军
吴哲辉
机构
山东农业大学信息学院
山东科技大学信息学院
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第4期698-702,共5页
基金
国家自然科学基金项目(60673053)资助
文摘
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却一直未给出.本文通过分析上下文无关Petri网语言的结构性质,给出了上下文无关Petri网语言的Pumping引理,并且正规Petri网语言的Pumping引理是上下文无关Petri网语言的Pumping引理的一种特殊形式,而上下文无关Petri网语言的Pump-ing引理又是Petri网语言Pumping引理的一种特殊形式,从而完整地解决了三类Petri网语言Pumping引理以及它们之间的关系.
关键词
pumping引理
语言
PETRI网
上下文无关语言
Keywords
pumping
lemma
language
Petri net
context-free language
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
稠密相对正则语言的一些性质
被引量:
7
4
作者
黄磊
喻厚义
谷伟平
机构
四川建筑职业技术学院计算机工程系
西南大学数学与统计学院
广西师范学院数学与计算机科学系
出处
《西南大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第8期49-51,共3页
文摘
主要讨论了稠密相对正则语言的一些性质.相对于正则语言的pumping引理,给出了稠密相对正则语言的类似结论.继而证明了稠密相对正则语言都含有本原字.最后给出了稠密相对正则语言和极大码的一些联系.
关键词
稠密相对正则语言
pumping引理
本原字
极大码
Keywords
dense relatively regular language
pumping
lemma
primitive word
maximal code
分类号
O152.7 [理学—基础数学]
下载PDF
职称材料
题名
可交换上下文无关文法
被引量:
2
5
作者
张继军
吴哲辉
机构
山东农业大学信息学院
山东科技大学信息学院
出处
《计算机科学》
CSCD
北大核心
2007年第7期254-256,共3页
文摘
本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。
关键词
可交换上下文无关文法
可交换上下文无关语言
pumping引理
Keywords
Commutative context-free grammar,Commutative context-free language,
pumping
lemma
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
上下文无关语言的可重复序列及其性质
被引量:
1
6
作者
张继军
范昊
机构
山东农业大学信息科学与工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
2010年第6期1226-1230,共5页
基金
国家自然科学基金项目(60673053)资助
国家自然科学基金委员会重大研究计划项目(90718011)资助
文摘
通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件.
关键词
可重复序列
pumping引理
状态转换图
上下文无关语言
Keywords
repetitive sequence
pumping
lemma
state transition diagram
context-free language
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Petri网语言的Pumping引理
蒋昌俊
刘关俊
《计算机学报》
EI
CSCD
北大核心
2006
13
下载PDF
职称材料
2
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件
吴哲辉
《计算机学报》
EI
CSCD
北大核心
1994
33
下载PDF
职称材料
3
上下文无关Petri网语言的Pumping引理
张继军
吴哲辉
《小型微型计算机系统》
CSCD
北大核心
2008
3
下载PDF
职称材料
4
稠密相对正则语言的一些性质
黄磊
喻厚义
谷伟平
《西南大学学报(自然科学版)》
CAS
CSCD
北大核心
2008
7
下载PDF
职称材料
5
可交换上下文无关文法
张继军
吴哲辉
《计算机科学》
CSCD
北大核心
2007
2
下载PDF
职称材料
6
上下文无关语言的可重复序列及其性质
张继军
范昊
《小型微型计算机系统》
CSCD
北大核心
2010
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部