这几个概念晕了几天了，搞明白了就来备注一下
FSM（Finite State Machine）
FAM（Finite Automata Machine）
DFA（Determinate Finite Automata）
NFA（Non-Determinate Finite Automat）
自动机
：自动机是有限状态机(FSM)的数学模型。
状态机
：我们现在所说的状态机一般是有限状态机（FSM）的简称。
有限自动机
：
有限自动机（Finite Automata Machine）是计算机科学的重要基石，它在软件开发领域内通常被称作有
限状态机（Finite State Machine），是一种应用非常广泛的软件设计模式（Design Pattern）。
有限状态机
：
对有限状态机的定义：有限状态机是具有一个基本内部记忆的抽象机器模型，定义如下
：
根据输出与输入、系统状态的关系，有限状态机又可分
为
Moore型有限状态机
和
Mealy型有限状态机
Moore型有限状态机是指输出仅与系统状态有关，与输入信号无关的状态机。优点是将输入和输出分
隔开.
Mealy型有限状态机是指输出与系统状态和输入均有关系的有限状态机。
为了直观，直接用转移图来说明两者的区别
转移图是一种有向图，由圆表示有限状态机的状态，有向曲线表示系统的状态转移过程，有向线段的起点 表示初始的状态，终点表示转移后的状态。
对于Mealy型有限状态机在有向曲线段上的字符表示系统的输入和输出，用“/”分隔。
对于Moore型有限状态机，通常在状态后标出输出值，用“/”分隔，输入信号仍然在有向线段上标注。
图1：
Mealy型状态机的转移图
图1所示的有限状态机只有一位输入、一位输出，两个状态
A1
和
A2
，左侧绘制的指向
A1
的箭头表示系统的初始状态为
A1
；在
A1
的上方，绘制一个起点和终点都在
A1
上的有向曲线，以及曲线上的标注“
1/0”
表示，当状态为
A1
，输入信号为
1
时，有限状态机的状态不变，输出为
0
；由
A1
指向
A2
的标注为“
0/1”
的箭头表示，当系统状态为
A1
，输入为
0
时，系统状态变为
A2
，且输出为
1
。同理，由转移图可知，当系统处于
A2
状态时，输入为
1
时状态不变，输出为
1
；当输入为
0
时，状态变为
A1
，输出为
0
。对于比较复杂的有限状态机，在有向箭头的标识上还可以添加字符说明。
图2： Moore型状态机转移图
图
2
所示的
Moore
型有限状态机只有一位输入、一位输出，两个状态
A1
和
A2
，左侧绘制的指向
A1
的箭头表示系统的初始状态为
A1
；标注“
A1/1”
表示处于状态
A1
时，输出为
1
；同理“
A2/0”
表示处于状态
A2
时，系统输出为
0
；在状态
A1
上方绘制的起点和终点均在
A1
上的有向曲线，以及曲线上的标注“
1”
表示，当状态为
A1
，输入信号为
1
时，有限状态机的状态不变；由
A1
指向
A2
的标注为“
0”
的箭头表示，当状态为
A1
，输入为
0
时，有限状态机的状态变为
A2
。当有限状态机处于
A2
状态时，如果输入为
1
，有限状态机的状态就会变为
A1
。
对于这种输出在{0，1}二值区间的Moore型有限状态机，一般称之为有限状态自动机
，对于有限状态自动机还有另一种转移图的表示方法，即用双圆环表示输出为1的状态，并称之为接受状态。使用这种转移图画法后，图2所示的有限状态机可绘制为如图3所示的转移图。
图3：有限状态自动机
有限状态自动机
：
（FSM “finite state machine” 或者FSA “finite state automaton” ）是为研究有限内存的计算过程和某些语言类而抽象出的一种
计算模型。有限状态自动机拥有有限数量的状态，每个状态可以迁移到零个或多个状态，输入字串决定执行哪个状态的迁
移。有限状态自动机可以表示为一个有向图。有限状态自动机是
自动机理论
的研究对象。
有限状态自动机是具有离散输入和输出的系统的一种数学模型
。
–
(1)
系统具有有限个状态，不同的状态代表不同的意义。按照实际的需要，系统可以在不同的状态下完成规定的任务。
–
(2)
我们可以将输入字符串中出现的字符汇集在一起构成一个字母表。系统处理的所有字符串都是这个字母表上的字符串。
–
(3)
系统在任何一个状态下，从输入字符串中读入一个字符，根据当前状态和读入的这个字符转到新的状态。
–
(4)
系统中有一个状态，它是系统的开始状态。
–
(5)
系统中还有一些状态表示它到目前为止所读入的字符构成的字符串是语言的一个句子。
有限状态自动机还可以分成确定与非确定两种。非确定有限状态自动机可以转化为确定有限状态自动机。
非确定有限状态自动机与确定有限状态自动机的唯一区别是它们的转移函数不同。确定有限状态自动机对每一个可能的输入只有一个状态的转移。非确定有限状态自动机对每一个可能的输入可以有多个状态转移，接受到输入时从这多个状态转移
中非
确定地选择一个。
确定型有限状态自动机：
形式化定义：
确定有限状态自动机
是由
所组成的5-
元组
。因此一个DFA可以写成这样的形式：
。
非确定型有限状态自动机：
形式化定义：
不确定有限状态自动机
是由
-
一个非空有限
状态
的集合 Q - 一个输入字母表 Σ（非空有限字符的集合）
-
一个转移
函数
，
每一个转移（一个状态下，同一个输入）都几个不确定的值（次态），采取随机转移方式转移到下一个状态
-
一个开始状态
-
一个接受状态的集合
所组成的5-
元组
。因此一个DFA可以写成这样的形式：
。
DFA与NFA的不同就是转移函数的不同。
DFA与NFA可以相互装换，具体如何转换参考：
NFA转换为DFA
总结：我们平常说的状态机其实就是指有限状态自动机，有限自动机是一套自动机理论，当被用于特定的领域之后就被称为有限状态机，而有限状态机的数学模型就是自动机。
状态机是是一个概念，一个工具。我们经常采用状态机来对事物建模，使用状态机来建模的主要学科有：
在计算机科学中自动机用作计算机和计算过程的动态数学模型，用来研究计算机的体系结构、逻辑操作、程序设计乃至计算复杂性理论。
具体应用方面：
数字电路设计
游戏开发
单片机开发
设计模式之状态机模式
状态机工作流（基于事件转移）
任何一个具有状态变化的对象或事物都可以用状态机来建模
在语言学中则把自动机作为语言识别器，用来研究各种
形式语言
。
在神经生理学中把自动机定义为
神经网络
的
动态模型
，用来研究神经生理活动和思维规律，探索人脑的机制。
在生物学中有人把自动机作为生命体的生长发育模型，研究新陈代谢和遗传变异。在数学中则用自动机定义可计算函数，研究各种算法。
看到一句话”根本没有输出函数的有限
状态机叫做
半自动机
或
转移系统
“，那么按照有限状态自动机的定义没有输出函数难道就是半自动机吗。