形式語言與自動機之二 有限自動機和右線性文法

（二）有限自動機和右線性文法 討論語言，從生成語言的角度可以使用前面定義的文法進行定義，從識別語言的角度可以使用自動機進行定義，而正則式是特殊的對應3型文法的可以直接體現語言的模式。本章討論3型文法對應的語言，文法角度的右線性文法、左線性文法也即3型文法，識別角度的有限自動機，正則式都是等價的定義。這篇文章的邏輯將是介紹三種定義，證明其等價性，介紹其性質。 有限自動機 D e f . Def. D

>>阅读原文<<