文法和語言總結與梳理

1.梳理第二章的內容，寫一篇理解與總結。

文法是用於描述語言的語法結構的形式規則。任何一種語言都有它自己的文法，不管它是機器語言還是自然語言。就像自然語言裡有主謂賓這樣的文法一樣，機器語言也有描述它語言構成的特定文法。文法分四種類型，分別是0型文法、1型或上下文有關的、2型的或上下文無關的、3型文法或正規文法。

4種文法型別的定義是逐漸增加限制的，因此每一種正規文法都是上下文無關的，每一種上下文無關文法都是上下文有關的，而每一種上下文有關文法都是0型文法。稱0型文法產生的語言為0型與語言。上下文有關文法、上下文無關文法和正規文法產生的語言分別稱為上下文有關語言、上下文無關語言和正規語言。

描述上下文無關文法的句型推導的直觀工具，即語法樹，也稱推導樹。如果在推導的如何一步α=>β，其中α、β是句型，都是對α中的最左（最右）非終結符進行替換，則稱這種推導為最左（最右）推導。在形式語言中，最右推導常被稱為規範推導。由規範推導所得的句型稱為右句型或規範句型。