模糊自動機是自動機理論與基礎(chǔ)研究的一個重要內(nèi)容.然而如何對模糊自動機進行構(gòu)造至關(guān)重要.在給出廣義可能測度下線性時序邏輯語構(gòu)公式所對應(yīng)模糊交替Büchi自動機構(gòu)造方法基礎(chǔ)上,并對其歸納驗證.結(jié)果表明,模糊交替Büchi自動機所識別的語言與廣義可能測度下線性時序邏輯公式語義一致. 

【文章來源】：內(nèi)江師范學院學報. 2016,31(06)

【文章頁數(shù)】：6 頁

【參考文獻】：
期刊論文
[1]可能LTL模型檢測的兩種方法[J]. 李永明.  陜西師范大學學報(自然科學版). 2014(06)
[2]基于可能性測度的計算樹邏輯CTL*與可能性互模擬[J]. 鄧輝,薛艷,李亞利,李永明.  計算機科學. 2012(10)
[3]基于可能性測度的計算樹邏輯[J]. 薛艷,雷紅軒,李永明.  計算機工程與科學. 2011(09)
[4]格值Mealy自動機的同余和同態(tài)[J]. 韓召偉,李永明.  模糊系統(tǒng)與數(shù)學. 2007(02)
[5]模型檢測:理論、方法與應(yīng)用[J]. 林惠民,張文輝.  電子學報. 2002(S1)



本文編號：3352017