【电】 有限态机器

有限状态机在任一时刻都只能够处于一种状态中。

有限状态机是一种策略或者一种策略模型，它由有限的一系列状态构成，在任一给定时刻，可以通过输入操作作出从一种状态到另一种状态的转换或者产生输出或者发生动作。

有限状态机是一种概念性机器，它能采取某种操作来响应一个外部事件。

所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。

为此，引入有限状态机的概念。

finite element method

finite

finite

finite interval

finite field

finite group of outer automorphisms【数】

finite population

finite-duration sequence