摘要
本文通过Ｐｕｍｐｉｎｇ引理在Ｐｅｔｒｉ网的变迁节引发序列中的反映，揭示了对应的Ｐｅｔｒｉ网结构内涵，从而给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．这样，就可以从网的结构直接判断其语言属型．
A set of necessary and sufficient conditions for determining a Petri net language to be a regular language, context-free language or a context-sensitive language are given in this paper. The determining conditions are obtained by transforming the Pumping Lamma in formal language theory into the structured properties of the standard Petri net corresponding to the given Petri net.
出处
《计算机学报》
EI
CSCD
北大核心
1994年第11期852-858,共7页
Chinese Journal of Computers
基金
国家自然科学基金
