无标注L型Petri网语言属性判定的一种方法-快速了解中国科学信息.PDF

中国科学 信息科学 年 第 卷 第 期 论文 无标注 型 网语言属性判定的一种方法 1,2* 1,2 1,2 栾尚敏 田立勤 耿子林 1. 华北科技学院计算机系, 三河 065201 2. 河北省物联网数据采集与处理工程技术研究中心, 三河 065201 * 通信作者. E-mail: 623320726@ 收稿日期: 2016–11–09; 接受日期: 2016–12–21; 网络出版日期: 2017–03–06 国家自然科学基金(批准号:、中央高校基本科研业务项目 (批准号: 3142014007, 3142015022)、河北省高等学校科学技 术研究项目 (批准号: Z2014038) 和青海省重点研发项目 (批准号: 2016-SF-130) 资助 摘要 网和自动机是离散事件动态系统建模的两种重要方法 研究这两种模型之间的关系 对 于更好地理解和控制离散事件动态系统的行为具有重要作用 本文从形式语言的角度对该问题进行 了研究 提出了判定无标注 型 网语言属性的方法 引入有效递增子和线性子等概念来刻画 网语言的性质 对于一个 网 当 没有有效递增子时 对应的 网语言是正 则语言 当 的某个有效递增子有两个及其以上线性子时 对应的 网语言是上下文有关 的 当 的所有有效递增子只有一个线性子时 如果只有一个有效递增子 则 对应的 网 语言是上下文无关的 如果 有两个及其以上有效递增子 则顺序引发、嵌套引发和选择引发时 对应的 网语言是上下文无关的 并发引发和交叉引发时 对应的 网语言是上下文 相关的 本文还对可达树进行了改进 给出了利用改进后的可达树来判定有效递增子的方法 从而 使得本文给出的判定无标注 型 网语言属性的方法具有可操作性 关键词 网语言 形式语言 自动机理论 可达树 正则语言 上下文无关语言 上下文相关 语言 引言 网∼ 和形式语言理论中的自动机 是离散事件动态系统的两种重要的建模方法 研究 这两种模型之间的关系 对于更好地理解和控制离散事件动态系统的行为具有重要作用 网 的引发序列本身也构成一种形式语言 称为 网语言 本文从形式语言的角度讨论了 网和 自动机之间的关系 根据终止状态的不同 网语言分为 型、 型、 型和 型 给定一个 网 判定其对应的 型 型、 型或 型 网语言属于 谱系中的正规语言、上 下文无关语言、上下文有关语言的问题也称为 网语言的属性判定问题 关于该问题 人们已 引用格式 栾尚敏 田立勤 耿子林 无标注 型 网语言属性判定的一种方法 中国科学 信息科学 ⃝ 《中国科学》杂志社 中国科学 信息科学 第 卷 第 期 经做了大量的研究工作∼ ∼ 证明了正规语言是 网语言 他还举例说明了存在 网 其对应的 网语言不是正则语言 从而说明了正则语言只是 网语言的一个真子集 还证明了不存在一个 网 其对应的语言为回文 回文是上下文无关语言 由此说明了 存在上下文