| 类S—图的语言性质分析 |
| |
| 引用本文： | 曾庆田,吴哲辉.类S—图的语言性质分析[J].计算机科学,2002,29(5):120-122. |
| |
| 作者姓名： | 曾庆田 吴哲辉 |
| |
| 作者单位： | 山东科技大学信息学院,泰安,271019 |
| |
| 基金项目： | 国家自然科学基金(69873029) |
| |
| 摘 要： | 1 引言 Petri网作为系统模拟和分析的工具己得到广泛的应用。Petyi网一个变迁序列可理解为一个字符串,字符串集合为一种语言。所有可能发生的变迁序列的集合表征了一个Petri网的运行特征,可用网中可能出现的变迁序列来分析Petri网的性能。Hack和Peterson最早从事这方面的研究。Hack在文3]中讨论了网模型的计算能力,指出带抑止弧增广Petri网与图灵机在计算能力上是等价的,从而充分显示了Petri网模型的表达能力。文4]给出了并发正规表达式的概念,并证明了井发正规表达式与Petri网的语言描述能力等同。文5]给出了Petri网语言与形式语言关系之间的一个清楚的刻画,并给出了从代数角度判别语言属性的充分必要条件。文6]研究了语言的识别问题,并给出了基于网语言的网活性刻画。
|
| 关 键 词： | 类S－图 语言性质分析 图灵机 Petri网 |
The Language Characters Analysis of Analogous S-graph |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
