有限自动机：
通俗来说就是一个抽象的数学模型，由一个初态，若干个中间态和若干个终态组成，在每一个状态下，接收到输入信息后转移状态到可以转移的下一个状态，如果状态到终态则可以终止(程序上来说则是可以退出)。这种抽象的数学模型称为有限自动机。例如这是某个有限自动机的状态转移图：
截图自百度百科 有限自动机 词条
其中q0为初态，当q0状态时，接收到条件 a 则转移状态到q1，接受条件 b 转移状态到q2。
q1为中间态，以单圈标识，在q1状态时，接收到条件 a 或者 b 则转移状态到q1(即保持状态不转移)。
q2为终态，以双圈标识，在q2状态时，接收到条件 a 时可以转移状态到q2(保持状态不转移)，接受字符 b 时转移状态到q1，并且可以终止。
