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