状态机器 meaning in Chinese
machine state
state machine
Examples
- Kuiper originally used cwmtx to simulate systems built from discrete and interactive state machines
Kuiper原先用cwmtx来模拟用离散的交互式状态机器构建的系统。 - Loosely speaking , model checking is a way to check for the existence of a finite state machine ( specification ) in another finite state machine ( program )
不严格地说，模型检查是在一个有限状态机器（程序）中检验另一个有限状态机器（清单）存在性的一个方法。 - 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
被检查的程序也被转换为一个有限状态机器，通过摘掉所有细节、只保留程序中被观测的原子谓词。 - 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
所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。 - 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
这个图表可以看做是一个状态机器。虽然我们这里解释的执行模式是具体的且更好的为并发路径执行提供更好的支持。