软考之有限自动机

有限自动机是具有离散输入与输出的系统的一种数学模型，系统可以处于有限个内部状态的任何一个之中，系统的当前状态概括了有关过去输入的信息，这些信息对于确定系统在以后的输入上的行为是必需的。

有限自动机有『确定的』和『非确定的』两种，所谓『确定的有限自动机』是指在当前状态下，输入一个符合，有限自动机转换到唯一的下一个状态，称为后继状态；而『非确定的有限自动机』是指在当前状态下输入一个符号，可能有两种以上可选择的后继状态，并且非确定的有限自动机所对应的状态转换图可以有标记为 ​ 的边。

​

正则文法可以用状态转换图非形式的进行表示，这就表明正则文法所对应的语言（正则语言）可以用状态转换图来接受（识别）。有限自动机正是对状态转换图进一步形式化的结果。

 

由于 CSDN 中 Latex 输入很麻烦，见我的个人博客的总结：自动机与正规表达式

见我的个人博客的总结：自动机与正规表达式

见我的个人博客的总结：自动机与正规表达式