广义可能线性时序逻辑的自动机方法

发布时间：2021-08-19 19:37

　　模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Büchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Büchi自动机所识别的语言与广义可能测度下线性时序逻辑公式语义一致. 

【文章来源】：内江师范学院学报. 2016,31(06)

【文章页数】：6 页

【参考文献】：
期刊论文
[1]可能LTL模型检测的两种方法[J]. 李永明.  陕西师范大学学报(自然科学版). 2014(06)
[2]基于可能性测度的计算树逻辑CTL*与可能性互模拟[J]. 邓辉,薛艳,李亚利,李永明.  计算机科学. 2012(10)
[3]基于可能性测度的计算树逻辑[J]. 薛艳,雷红轩,李永明.  计算机工程与科学. 2011(09)
[4]格值Mealy自动机的同余和同态[J]. 韩召伟,李永明.  模糊系统与数学. 2007(02)
[5]模型检测:理论、方法与应用[J]. 林惠民,张文辉.  电子学报. 2002(S1)



本文编号：3352017