您好，歡迎來(lái)電子發(fā)燒友網(wǎng)！ ，新用戶？[免費(fèi)注冊(cè)]

您的位置：電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

正則模型類(lèi)的時(shí)態(tài)可定義性

大?。?/span>0.60 MB 人氣： 2017-12-29 需要積分：2

推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）

前往下載地址

　　正則模型是非正規(guī)模態(tài)邏輯的模型，通過(guò)定義正則模型的不相交并、C2t-互模擬、生成子模型、C2t-超濾擴(kuò)張等模型上的運(yùn)算，可以證明一個(gè)正則模型類(lèi)在時(shí)態(tài)語(yǔ)言中可定義當(dāng)且僅當(dāng)它在不相交并、滿C2t-互模擬像、C2t-超濾擴(kuò)張下封閉，并且它的補(bǔ)類(lèi)在C2t-超濾擴(kuò)張下封閉，該刻畫(huà)定理說(shuō)明了時(shí)態(tài)語(yǔ)言在正則模型類(lèi)上的表達(dá)力。
?

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

      發(fā)表評(píng)論

      用戶評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

      發(fā)表評(píng)論，獲取積分！ 請(qǐng)遵守相關(guān)規(guī)定！

      ?