According to clock zone, infinite state space of timed automata can be transformed to finite.

 
  • 利用時(shí)鐘帶,可以將時(shí)間自動(dòng)機的無(wú)窮狀態(tài)空間轉化為有窮。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan