状态机的理解

状态机在离散数学中可以用有向图来表示，在形式语言中可以用五元组表示。

状态机由一组节点和一组相应的转移函数组成，状态机通过响应一系列事件而“运行”。这让我想起了动态规划中的状态转移方程，

状态机由状态寄存器和组合逻辑电路构成，能够根据控制信号按照预先设定的状态进行状态转移，是协调相关信号动作,完成特定操作的控制中心。

状态机是一种计算模型，不同种类的状态机的计算能力不同，图灵机也是一种状态机，而且计算能力最强。四种文法对应四种自动机，计算能力：图灵机>线性有界自动机>下推自动机>有限状态自动机。

确定有限状态自动机与非确定有限状态自动机识别的语言都是正则语言。由于正则语言的良好性质，许多为其他自动机(下推自动机或图灵机)不能判定的问题，在有限状态自动机的情形下，都可以得到判定，并且存在有效的算法。

状态机分为Moore状态机和Mealy状态机。我认为Moore状态机的过程像组合逻辑电路，而mealy状态机的过程像是时序逻辑电路构成。

事件驱动的含义是指事件在应用程序之外生成，无法由应用程序或程序员来控制。几乎所有的GUI应用程序都是采用事件驱动机制，从事件产生到应用程序接收并转换为消息，再由映射函数处理。

最近对“事件”这一概念有了较为深入的理解，事件可以是另一个需要中断响应的重要动作（不能和当前执行一起顺序执行处理的），可以是本身需要耗时或者需要等待的处理过程，