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

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

>>阅读原文<<