亚洲av成人精品日韩一区,97久久久精品综合88久久,玩弄japan白嫩少妇hd,亚洲av片不卡无码久久,玩弄人妻少妇500系列

您好,歡迎來電子發(fā)燒友網(wǎng)! ,新用戶?[免費(fèi)注冊]

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

      用戶評論
      評價:好評中評差評

      發(fā)表評論,獲取積分! 請遵守相關(guān)規(guī)定!

      ?