用于支援状态机器侦错的管理员。
推送模型要求内容处理程序生成非常复杂的状态机器。
The push model requires the content handlers to build very complex state machines.
典型的语言构造允许以扩展流程图或者限定状态机器的形式定义流程。
Typical language constructs allow for defining a process either in the form of extended flowcharts or finite state machines.
Kuiper原先用CwMtx来模拟用离散的交互式状态机器构建的系统。
Kuiper originally used CwMtx to simulate systems built from discrete and interactive state machines.
将多种调用流量图表整合到它们的紧急状态机器中，从而可以查看整合行为。
Merge multiple call flow diagrams into their emergent state machine to visualize combined behaviors.
取得状态活动集合，状态机器工作流程执行个体已透过这些活动进行转换。
Gets a collection of state activities that the state machine workflow instance has transitioned through.
从根工作区创建两个工作区域：一个是为当前状态创建的，一个是为未来状态机器创建。
Create two Workspaces from the root Workspace: one for the current state and one for the future state architecture.
所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。
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.
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
您可以建模当前的状态机器和未来的状态机器，并使得人们可以使用它（例如，分别是版本“a”和“x”）。
You can model the current and future state architectures and make them available for consumption (for example, version "a" and version "x", respectively).
Rails集中使用 DSL来完成从构建模型对象之间的关系到指定自定义组件（如状态机器或可上传的图像）的所有工作。
Rails heavily engages DSLs to do everything from building relationships between model objects to specifying custom components such as state machines or uploadable images.
本文中讨论的状态机是高级机器，其目的是演示一类问题的编程解决方案。
The state machines discussed in this article are high-level machines intended to demonstrate a programming solution to a class of problems.
设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。
A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.
设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。
A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.
应用推荐