以下为句子列表：
英文: A finite state machine can only be in one state at any moment in time.
中文: 有限状态机在任一时刻都只能够处于一种状态中。
更详细...
英文: A finite state machine is a device, or a model of a device, which has a finite number of states it can be in at any given time and can operate on input to either make transitions from one state to another or to cause an output or action to take place.
中文: 有限状态机是一种策略或者一种策略模型，它由有限的一系列状态构成，在任一给定时刻，可以通过输入操作作出从一种状态到另一种状态的转换或者产生输出或者发生动作。
更详细...
英文: Finite state machine is a conceptual machine, it can take some operations to respond to an external event.
中文: 有限状态机是一种概念性机器，它能采取某种操作来响应一个外部事件。
更详细...
英文: 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.
中文: 所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。
更详细...
英文: Therefore, the introduction of the finite state machine concepts.
中文: 为此，引入有限状态机的概念。
更详细...
|
