简述有限状态自动机

有限状态自动机（FSM “finite state machine” 或者FSA “finite state automaton” ）是为研究有限内存的计算过程和某些语言类而抽象出的一种计算模型。有限状态自动机拥有有限数量的状态，每个状态可以迁移到零个或多个状态，输入字串决定执行哪个状态的迁移。有限状态自动机可以表示为一个有向图。有限状态自动机是自动机理论的研究对象。这是有限状态自动机的百度解释，看起来非常专业的样子。

有限状态自动机的模型

有限状态自动机是具有离散输入和输出（输入集和输出集均有限）的一种数学模型，由以下3部分组成：

有限状态自动机的有向图表示

有限状态自动机可用有向图表示，称为转移图。

有限状态自动机的的矩阵表示

有限状态自动机的思想也应用于密钥流生成器的产生，这其中也包含了一些流密码的原理。
，