状态机

无限状态机

无限状态机值是一种理论上的模型。

无限状态机的状态集是无限的，这蕴含着转移函数有无限多的映射。

所以无论如何我们都无法物理地实现一台无限状态机。

有限状态机

有限状态机（finite state machine，FSM）是一个非常有用的模型，可以模拟世界上大部分事物。

有限状态机一般指有限状态自动机。

有限状态自动机（finite state machine, FSM 或者 finite state automaton, FSA）是为研究有限内存的计算过程和某些语言类而抽象出的一种计算模型。

有限状态机拥有有限数量的状态，每个状态可以迁移到零个或多个状态，输入字串决定执行哪个状态的迁移。有限状态机可以表示为一个有向图。