|
|||||
|
|
| Pumping引理的Petri网描述—Petri网语言属型的一组判定条件 | |
| 引用本文： | 吴哲辉.Pumping引理的Petri网描述—Petri网语言属型的一组判定条件[J].计算机学报,1994,17(11):852-858. |
| 作者姓名： | 吴哲辉 |
| 作者单位： | 山东矿业学院应用数学与软件工程系 |
| 摘 要： | 本文通过Ｐｕｍｐｉｎｇ引理在Ｐｅｔｒｉ网的变迁节引发序列中的反映，揭示了对应的Ｐｅｔｒｉ网结构内涵，从而给出判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件，这样，就可以从网的结构直接判断其语言属型。 |
| 关 键 词： | 形式语言 Pumping引理 Petri网 Petri网语言 |
| 本文献已被 CNKI 维普 等数据库收录！ | |