Pumping引理的Petri网描述──Petri网语言属型的一组判定条件

被引：33

作者：

吴哲辉

机构：

[1] 山东矿业学院应用数学与软件工程系

来源：

关键词：

Petri网，语言，属型;

D O I：

暂无

中图分类号：

O141.1 [命题演算、谓词演算、类演算];

学科分类号：

摘要：

本文通过Ｐｕｍｐｉｎｇ引理在Ｐｅｔｒｉ网的变迁节引发序列中的反映，揭示了对应的Ｐｅｔｒｉ网结构内涵，从而给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．这样，就可以从网的结构直接判断其语言属型．

引用

页码：852 / 858

页数：7