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

 
  • 利用时钟带,可以将时间自动机的无穷状态空间转化为有穷。
分享单词到:
今日热词
  • 深远海浮式风电平台 - deep-sea floating wind power platform
  • 京雄高速公路 - Beijing-Xiongan expressway
  • 农业及相关产业增加值 - the added value of agriculture and related industries
目录 附录 查词历史