finite state machine：有限状态机

一般情况下，状态机（state machine）可以是任何装置，只要它能存储特定时间某物的状况，并且能用输入来改变这种状况，从而导致一个行为或在任何特定的变化时发生输出。计算机是主要的状态机，每个状态机指令被输入都会改变一个或多个状态并且也许会导致其它行为发生。每个计算机的数据记录都存储了一个状态。安装了导入程序的只读存储器存储了一个状态（导入程序本身是一个初始状态）。操作系统是自身的一个状态，和每个运行开始时有一些初始状态（当它开始处理输入时可能改变）的应用程序。因此，在任何瞬间，计算机系统都能被看作是一套非常复杂的状态，并且其中的每个程序可以被看作是一个状态机。然而实际上，状态机被用来发展和描述特定设备或程序的互动。
　　
　　总之，状态机可以被描述为：

• 某物被存储在某个地方的初始状态或记录　
• 一套可能的输入事件　
• 由这些输入导致的一套新的状态　
• 由这些新状态导致的一套可能的行为或输出事件　

　　在《Real-time Object-oriented Modeling》一书中，Bran Selic 和Garth Gullekson认为状态机（state machine）是：

• 一套输入事件　
• 一套输出事件
• 一套状态
• 记录状态和输入到输出的功能　
• 记录状态和输入到状态的功能（被称为状态转换功能）　
• 对初始状态的描述　

　　有限状态机（finite state machine）是一种有限或限定可能状态数量状态机。（无限状态机可以被考虑但是不能被应用。）有限状态机可以用作发现问题和解决问题的发展工具，也可用作一种为后来的开发人员及系统维护人员描述解决方案的正式方式。有很多方法来表示状态机，从简单的表格到生动的图示。

最近更新时间：2008-06-17 EN