首页> 中文期刊> 《计算机研究与发展》 >线性μ-演算交换深度的可判定性及其复杂度

线性μ-演算交换深度的可判定性及其复杂度

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

模态μ-演算被十分广泛地应用在模型验证技术中.影响模态μ-演算检验复杂度的主要瓶颈来源于规约公式的交换深度.讨论了线性μ-演算交换深度的可判定性以及求解复杂度.证明了线性μ-演算交换深度是可判定的;同时证明了对于长为l的公式判定及求解的复杂度为2O(l logl).

著录项

来源
《计算机研究与发展》 |2008年第z1期|1-6|共6页
作者
刘万伟; 王戟; 陈火旺;
展开▼
作者单位

国防科学技术大学计算机学院并行与分布处理国家重点实验室;

长沙;

410073;

国防科学技术大学计算机学院并行与分布处理国家重点实验室;

长沙;

410073;

国防科学技术大学计算机学院并行与分布处理国家重点实验室;

长沙;

410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP391.41;
关键词
线性μ-演算; 交换深度; ω-自动机;

相似文献

中文文献
外文文献
专利

1. 多元χ演算运行时错误的不可判定性 [J] . 陈韬略 ,韩婷婷 ,颜锋 . 武汉大学学报：理学版 . 2004,第5期
2. 中介逻辑的命题演算系统的可判定性 [J] . 邹晶 . 自然杂志 . 1989,第008期
3. 司期为2^n的线性复杂度为2^n-9二元序列的k错线性复杂度分布 [J] . 周建钦 ,崔洪成 ,赵起 . 苏州科技学院学报（自然科学版） . 2012,第001期
4. 线性复杂度为2n-2m-1的2n-周期二元序列的k-错线性复杂度 [J] . 朱士信 ,梁静 . 计算机应用研究 . 2012,第003期
5. Fq上qmpn-周期序列的线性复杂度与k-错线性复杂度 [J] . 皮飞 ,戚文峰 . 信息工程大学学报 . 2011,第001期
6. 线性μ-演算交换深度的可判定性及其复杂度 [C] . 刘万伟 ,王戟 ,陈火旺 . 2007全国理论计算机科学学术年会 . 2007
7. 周期序列的线性复杂度和k——错线性复杂度研究 [A] . 薛改娜 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号