有限状态自动机是具有离散输入和输出的系统的一种数学模型。
其主要特点有以下几个方面：
– (1)系统具有有限个状态，不同的状态代表不同的意义。按照实际的需要，系统可以在不同的状态下完成规定的任务。
– (2)我们可以将输入字符串中出现的字符汇集在一起构成一个字母表。系统处理的所有字符串都是这个字母表上的字符串。
– (3)系统在任何一个状态下，从输入字符串中读入一个字符，根据当前状态和读入的这个字符转到新的状态。
– (4)系统中有一个状态，它是系统的开始状态。
– (5)系统中还有一些状态表示它到目前为止所读入的字符构成的字符串是语言的一个句子。
形式定义
· 定义：有限状态自动机(FA—finite automaton)是一个五元组：
– M=(Q, Σ, δ, q0, F)
· 其中，
– Q——状态的非空有穷集合。∀q∈Q，q称为M的一个状态。
– Σ——输入字母表。
– δ——状态转移函数，有时又叫作状态
转换函数或者移动函数，δ：Q×Σ→Q，δ(q,a)=p。
– q0——M的开始状态，也可叫作初始状态或启动状态。q0∈Q。
– F——M的终止状态集合。F被Q包含。任给q∈F，q称为M的终止状态。
