形式语言与自动机之二 有限自动机和右线性文法

（二）有限自动机和右线性文法

讨论语言，从生成语言的角度可以使用前面定义的文法进行定义，从识别语言的角度可以使用自动机进行定义，而正则式是特殊的对应3型文法的可以直接体现语言的模式。本章讨论3型文法对应的语言，文法角度的右线性文法、左线性文法也即3型文法，识别角度的有限自动机，正则式都是等价的定义。这篇文章的逻辑将是介绍三种定义，证明其等价性，介绍其性质。

有限自动机

$Def.$有限自动机
有限即有限状态，但这里（参考教材）没有定义“有限”，猜测是可列有限的定义。

$Def.$确定的有限自动机(DFA)
后继状态唯一

$Def.$不确定的有限自动机(NFA)
后继状态不唯一

有限自动机的表示

状态转移表

状态转换图

形式定义

确定的有限自动机是一个五元组$M=(Q,T,\delta ,q_0,F)$，其中$Q$是有限状态集合，$T$是有限的输入字母表，$\delta$是转换函数，$Q\times T\to Q$的映射，$q_0$是初始状态，只有一个状态，$F$是终止状态集，可以多个状态。

$\delta$函数这样表达：在状态$q$，读入$a$后，状态转换成 p p