1 先验知识
https://zh.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E7%8A%B6%E6%80%81%E6%9C%BA
1.1 概念
有限状态机（finite-state-machine, FSM）是表示有限个状态以及状态间的行为的数学模型。
涉及的动作：进入、退出、输入、转移。
1.2 分类
1.2.1 接受器和识别器（序列检测器）
接受器和识别器会产生二元输出，表明输入是否被接受。
开始状态和接受状态（最终状态）是看作状态的开始和结束。
1.2.2 交换器
（1）Moore机：摩尔型有限状态机的输出只依赖于状态。
（2）Mealy机：米利型有限状态机的输出依赖于输入和状态。
1.3 数学模型
1.3.1 接受器五元组
（1）$\sum$是输入的集合
（2）$S$是状态的集合
（3）$s_0$是初始状态，是$S$包含的元素
（4）$\sigma$是状态转移函数：$\sigma:S\times\sum\rightarrow S$
（5）$F$是最终状态的集合，是$S$的子集
1.3.2 变换器六元组
（1）$\sum$是输入的集合
（2）$\Gamma$是输出的集合
（3）$S$是状态的集合
（4）$s_0$是初始状态，是$S$包含的元素
（5）$\sigma$是状态转移函数：$\sigma:S\times\sum\rightarrow S$
（6）$\omega$是输出函数
如果输出函数$\omega$是状态和输入的函数（$\omega:S\times\sum\rightarrow\Gamma$），则定义对应Mealy模型，可以建模为Mealy机。
如果输出函数只依赖状态（$\omega:S\rightarrow\Gamma$），则对应Moore模型，可以建模为Moore机。
特殊的，如果根本没有输出函数的有限状态机叫做半自动机或者转移系统。
2 相关研究
面向任务的网络服务系统异常行为检测算法_ZHAI_CH4.33
（1）划分状态标识
（2）划分动作标识
（3）针对某种任务，构建有限状态机模型
（4）画出任务的状态转移表
（5）根据转移表画状态图