×

状态机器 meaning in Chinese

machine state
state machine

Examples

  1. Kuiper originally used cwmtx to simulate systems built from discrete and interactive state machines
    Kuiper原先用cwmtx来模拟用离散的交互式状态机器构建的系统。
  2. Loosely speaking , model checking is a way to check for the existence of a finite state machine ( specification ) in another finite state machine ( program )
    不严格地说,模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
  3. The program being checked is also converted to a finite state machine , created by abstracting away all the details except the atomic predicates observed in the program
    被检查的程序也被转换为一个有限状态机器,通过摘掉所有细节、只保留程序中被观测的原子谓词。
  4. The property to be checked is described as a finite state machine that transitions on atomic predicates , properties that can be identified by cursory look at the program
    所要检查的特性被描述为一个有限状态机器,即原子谓词上的转变,这样粗略地查看程序就能识别出这些特性。
  5. The graph can be seen as a state machine . although , the executional model that we will explain here is concrete and has better support for concurrent paths of execution
    这个图表可以看做是一个状态机器。虽然我们这里解释的执行模式是具体的且更好的为并发路径执行提供更好的支持。
More:   Next

Related Words

  1. 旧机器
  2. 鼓声机器
  3. 理想机器
  4. 机器护罩
  5. 机器铸造
  6. 机器铆接
  7. 机器阻力
  8. 机器马力
  9. 疯狂机器
  10. 定制机器
  11. 状态机
  12. 状态机编译程序
  13. 状态机器编译程序
  14. 状态机视图
PC Version

Copyright © 2018 WordTech Co.