The finite state machine is a software concept that divides problems into finite states with transitions between them, often triggered by events.
有限状态机是一种软件概念，它将问题分为有限的状态，以及由事件触发的状态之间的转换。
These methods will cancel any running timers, delete the tooltip if one has been created, and return the finite state machine to its initial state.
这些方法将取消任何正在运行的计时器，如果已经创建了工具提示，就删除它，并将有限状态机返回到初始状态。
We may have a brain that, like a Kauffman machine, is able to generate all types of thinking and never-seen-before complexity from a small finite set of instructions.
我们也许会创造出考夫曼机器似的头脑，可以通过一个小型的指令有限集生成所有的思考类型和所有前所未见的复杂性。
Developers have used the finite state machine design pattern to organize event-driven programs like this.
开发人员可以使用有限状态机设计模式来组织这样的事件驱动程序。
The finite state machine pattern used to design this behavior makes its logic transparent.
设计此行为所用的有限状态机模式使逻辑清晰透明。
The object prototype is a good place to define nearly everything related to the finite state machine: the state table, its actions, and their parameters.
对象原型是定义与有限状态机有关的几乎任何东西的合适位置：状态表、它的操作及其参数。
Since the amount of memory in a machine is finite, if this error occurs in some kind of loop eventually the system will run out of memory.
机器中的内存数量是有限的，如果这个错误出现在某些循环中，那么系统最终会把内存耗尽。
The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
This article shows how to design the behavior of an animated widget using the graph and table representations of a finite state machine.
本文展示了如何使用有限状态机的图、表表示设计一个动画式小部件的行为。
To ensure that oyur finite state machine hooks cursor events in all popular browsers, you'll need to implement three different event models.
为了确保您的有限状态机可以连接到所有流行的浏览器中的鼠标事件，需要实现三个不同的事件模型。
One possible next development step might involve refactoring the FadingTooltip code to move the basic machinery of the finite state machine into a separate object.
一个可能的开发步骤是对FadingTooltip代码进行重构，将有限状态机的基本机制转移到一个单独的对象中。
The function will return the current state, leaving the finite state machine in FadeIn state, until the tooltip's opacity reaches the maximum opacity parameter.
这个函数将返回当前状态，让有限状态机保持在FadeIn状态，直到工具提示的不透明度到达最大不透明度参数。
This would cycle your finite state machine through each of its states, returning to Inactive state with the cursor still over the HTML element.
这会让有限状态机经历它的所有状态，返回到Inactive 状态，而鼠标仍然停留在HTML元素上。
The rest of this article focuses on designing the FadingTooltip widget as a finite state machine.
本文后面的内容将着重于介绍如何将FadingTooltip小部件设计为一个有限状态机。
No actions or transition are needed in this situation; you just want the finite state machine to ignore mouseout events in Inactive state, as shown in Listing 5.
在这种情况下，不需要操作或转换；只需让有限状态机忽略inactive状态中的mouseout事件，如清单5所示。
Perhaps there is a bug in a finite state machine within Internet Explorer that generates cursor events, or perhaps that browser does not keep track of its state internally.
有限状态机在InternetExplorer中处理鼠标事件时可能出现bug，或者浏览器在内部无法跟踪它的状态。
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.
所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。
If you try to squeeze this time machine into finite space, you'd need negative energy, something nobody knows how to create, to make it work.
如果你把这个时间机器塞到有限空间内，想要让它动起来，得用到没人能制造出的负能量才行。
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 sequence control circuit of DATA collection is designed with finite state machine(FSM) of VHDL.
用VHDL（甚高速集成电路硬件描述语言）有限状态机设计了数据采集时序的控制电路。
Finite state machine in the elevator control system, the application of the elevator control system to create reliable applications, may in any case make a determined response.
有限状态机在电梯控制系统中的应用，为电梯控制系统创造可靠的应用程序，并可在任何情况下做出确定的响应。
And some key technologies of the software design were discussed, such as event-driven model, finite state machine model and memory pool allocation.
并给出了软件设计中的一些关键技术，如：事件驱动模型、有限状态机模型和内存池分配技术等。
As a digital logic design engineer, a problem of designing a finite state machine is often met.
作为一个数字逻辑工程师，经常会碰到设计一个有限状态机的问题。
In finite and tiny displacement machine, flexural hinges are a new structure machine to implement tiny displacement.
在有限微量位移机构中，柔性铰链是实现微位移功能的新型机械结构。
Studies issues in the finite state machine (FSM) design in PCI bus interface controllers.
研究有限状态机与PCI总线接口控制器的设计问题。
It introduces the background, functions of LMP and specific implementation of finite state machine.
介绍了LMP协议的提出背景、功能以及协议有限状态机的实现方法。
A machine with finite precision would lead its chaotic sequences into periodic orbits, while solving the periodic effect of finite precision produce the balance problem of the sequences.
机器的有限精度会导致它的混沌序列进入周期轨道，解决有限精度的短周期效应又会产生序列的平衡问题。
This paper puts forward a design of software System Framework of the signaling data simulation tester based on the technology of multithreading, finite state machine and dynamic link library.
本文采用多线程、有限状态机和动态链接库技术设计一种信令数据仿真测试仪的软件体系结构。
A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.
设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。
Moreover, the proposed approach is compatible with state-of-the-art methods for finite state machine (FSM) decomposition, state encoding, etc.
此外，本文提出的方法可以与有限状态机拆分、状态编码和逻辑综合等最先进的优化方法相兼容。
应用推荐