计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (12): 50-52.DOI: 10.3778/j.issn.1002-8331.2010.12.013
苏 平1,2,束德勤2,范 昊2
SU Ping1,2,SHU De-qin2,FAN Hao2
摘要: Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算“*”的Petri网构造方法,分别给出了Kleene闭包运算“*”的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算“*”的构造是封闭的。
中图分类号: