并发加权 μ-演算的若干性质

• 作者: 余寒
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 并发加权逻辑 μ-演算 轮替树自动机 可判定性 小模型性
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 理论与算法
• 页码范围: 1684-1690
• 页数: 7页
• 分类号: TP301
• 字数: 6455字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1709100

摘要

最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑.该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性系统的二元模态词,可以有效地表达系统的质化、量化和模块化的性质.为了增强并发加权逻辑的表达能力,对带不动点算子的并发加权逻辑——并发加权 μ-演算进行了研究,给出了并发加权 μ-演算的语法和标记加权转移语义,在表达能力与复杂性之间建立了良好的平衡.研究了并发加权 μ-演算与轮替树自动机之间的联系,构建了一种特定的用于并发加权 μ-演算的轮替树自动机模型.该自动机模型在表达能力上与并发加权 μ-演算互模拟等价.在此基础上,进一步证明了并发加权 μ-演算的可判定性及小模型性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余寒	南京航空航天大学计算机科学与技术学院	2	0	0.0	0.0