在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

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

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

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

大小:0.60 MB 人氣: 2017-12-29 需要積分:2

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

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

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

      ?
      主站蜘蛛池模板: 日本免费福利视频| 久久精品隔壁老王影院| 亚洲激情视频| 黄网站色视频免费观看| 狼狼鲁狼狼色| 国产午夜在线观看视频播放| 久久亚洲精选| 午夜传媒| 成人在线91| 欧美色图亚洲| 久久久噜噜噜久久久| 狠狠躁夜夜躁人人爽天天3| 欧美精品首页| 精品国产影院| 97影院理论片在线观看| 三a大片| 2021最新国产成人精品视频| 中文字字幕码一二区| 国产成人系列| 欧美色图一区二区| 在线观看国产日本| 色播图片| 国模私拍视频在线| 狠狠色噜噜狠狠狠| 最近视频在线播放免费观看| 97影院理论在线观看| 天天操夜夜操天天操| 亚洲 另类 在线 欧美 制服| 精品视频一二三区| 日本高清中文字幕在线观穿线视频| 国产一区二区三区欧美精品| 天天干网| 六月丁香综合网| 91人成网站色www免费| 亚洲无线视频| 久久新地址| 天天舔天天爽| tueb69xxxxxhd日本| 五月婷婷丁香花| 黄色三级国产| 天天爱天天爽|