×

有穷的 meaning in English

finite

Examples

  1. In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
    一个时间自动机是一个五元组n , l 0 , c , e , i ,其中n为一个有穷的位置集合, l 0n是初始状态, c是一个取实数值的时钟变量的有穷集合, e ng c 2 cn是转换的集合。

Related Words

  1. 穷坚
  2. 叫穷
  3. 穷田
  4. 穷富
  5. 穷措大
  6. 杜穷
  7. 穷的
  8. 格穷
  9. 途穷反噬
  10. 穷举算法
  11. 有请
  12. 有穷
  13. 有穷函数
  14. 有穷几何
PC Version

Copyright © 2018 WordTech Co.