标题:正规语言闭包运算的Petri网构造方法
作者:苏平;束德勤;范昊
作者机构:[苏平] 山东大学计算机科学与技术学院, 济南, 山东 250100, 中国.;[束德勤] 山东农业大学信息科学与技术学院, 泰安, 山东 271018, 中国.;[范昊] 山东农业大学信息 更多
来源:计算机工程与应用
出版年:2010
卷:46
期:12
页码:50-52+59
DOI:10.3778/j.issn.1002-8331.2010.12.013
关键词:Petri 网; 正规语言; 闭包运算; Petri 网构造方法
摘要:Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类.相关文献中给出了一种Petri网 子类----恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性.在此基础上,研究了正规表达式中Kleene 闭包运算\"*\"的Petri网构造方法,分别给出了Kleene闭包运算\"*\"的epsilon-空标注和无占epsilon-空标注 Petri网模型的构造方法.该构造方法可由产生正规语言L的网模型直接得到产生正规语言L~*的网模型.证明了对于恰当终结的标准Petri网,正规语 言闭包运算\"*\"的构造是封闭的
收录类别:CSCD
资源类型:期刊论文
原文链接:http://kns.cnki.net/kns/detail/detail.aspx?FileName=JSGG201012014&DbName=CJFQ2010
TOP