|
|||||
|
|
| 线性μ-演算交换深度的可判定性及其复杂度 | |
| 引用本文： | 刘万伟,王戟,陈火旺.线性μ-演算交换深度的可判定性及其复杂度[J].计算机研究与发展,2008,45(Z1):1-6. |
| 作者姓名： | 刘万伟 王戟 陈火旺 |
| 作者单位： | 国防科学技术大学计算机学院并行与分布处理国家重点实验室,长沙,410073 |
| 基金项目： | 国家高技术研究发展计划(863计划) , 教育部跨世纪优秀人才培养计划 , 国家自然科学基金 |
| 摘 要： | 模态μ-演算被十分广泛地应用在模型验证技术中.影响模态μ-演算检验复杂度的主要瓶颈来源于规约公式的交换深度.讨论了线性μ-演算交换深度的可判定性以及求解复杂度.证明了线性μ-演算交换深度是可判定的;同时证明了对于长为l的公式判定及求解的复杂度为2O(l logl). |
| 关 键 词： | 线性μ-演算 交换深度 ω-自动机 |
| 修稿时间： | 2007年7月10日 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |