期刊文章详细信息
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件 ( EI收录)
PETRI NET DESCRIPTION OF PUMPING LEMMA─A SET OF CONDITIONS FOR DETERMINING THE TYPE OF A PETRI NET LANGUAGE
文献类型：期刊文章
机构地区：[1]山东矿业学院应用数学与软件工程系
基 金：国家自然科学基金
年 份：1994
卷 号：17
期 号：11
起止页码：852-858
语 种：中文
收录情况：BDHX、BDHX1992、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、INSPEC、JST、MR、SCOPUS、ZGKJHX、核心刊
摘 要：本文通过Ｐｕｍｐｉｎｇ引理在Ｐｅｔｒｉ网的变迁节引发序列中的反映，揭示了对应的Ｐｅｔｒｉ网结构内涵，从而给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．这样，就可以从网的结构直接判断其语言属型．
关 键 词：形式语言 Pumping引理 PETRI网 PETRI网语言
分 类 号：TP301.2]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
