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