關於編譯原理這塊之前根本沒有涉及過,這次要用到這裡的知識就需要來接觸一下這裡的內容。編譯原理顧名思義就是處理進階語言,使之稱為電腦能夠識別的語言(低級語言)的原理。而文法呢?就是用來描述程式設計語言的方法。類似佛法,用來描述佛家的誦經禪道的規則的。不用去糾結這個名字,知道這個含義,足以。
文法概念
終結符和非終結符
在p這個推導式的集合中,存在六個推導式。其中S、A、B為非終結符。a、b、c、d、q、p為終結符。終結符是原子不可分的。
分類
文法的分類也就這幾種了,先看各自的定義,在定義中,先瞭解個大概。明白定義中一些的關鍵字的意思就可以了,在後面通過例子再來鞏固就沒有問題了。
O型文法
看到這個定義,我又想起當年高中那段如歌的日子了。哈哈!上面的定義中Vn,Vt,P,S
Vn:就是代表了非終結符。
Vt:終結符。
P:表示推導式的集合。一如在第一張圖中見到的六個推導式就是p了。
S:開始符,SAB。知道了上面這些關鍵字是很重要的。
當推導式中,左邊的推導式只要滿足至少一個是非終結符那麼也就是0型文法。
1型文法
定義中最重要的也就是左邊的長度必須小於右邊的長度,在0型的基礎上。
2型文法
、
定義中2型文法相對1型文法,多了一個條件,也就是要求推導式的左邊都是非終結符。相對於0型文法,一個要求是至少有一個,這裡的要求全部為非終結符。
3型文法 3型文法中的定義也就是右線性和左線性條件只必須滿足一個,這裡需要注意的就是滿足一個條件,所以說兩個都滿足是不能為3型文法的。三種文法關係通過5執行個體通過一個執行個體來說明之上各個文法的含義
判斷上面推導式中滿足什麼類型的文法
解這種題型呢?首先要判斷哪些是終結符和非終結符,簡單來講終結符就是終結的,最小的不可拆分的元素,而不是終結符的都是非終結符.這個應該是沒有任何問題的,所以上題中,的非終結符就是AB,其他都是非終結符.而0型文法中,講到只需要在p中至少有一個非終結符,也就是在推導式的左邊至少存在一個非終結符就可以了.這樣一來,我們看到在等式的左邊,兩個都是非終結符.肯定滿足0型文法,下面就是1型文法了,1型文法是怎麼規定的呢?在0型文法的基礎上,推導式的左邊的長度肯定小於或者等於右邊的長度,題中p集合裡面左邊的長度都小於右邊的長度,所以肯定符合1型文法;接下來就是看看是否滿足2型文法了.2型文法是怎麼來限定的呢?在1型文法的基礎上,在推導式的左邊每個都是非終結符,如題,每個推導式的左邊都是非終結符,所以肯定是2型文法了;3型文法的意思就是2型文法的基礎上,看看是否滿足右線性或者左線性,我們將這個推導式分開來判斷。A-->a或者A--->aB,第一個拆開的推導式是右線性,而B--->A是左線性,3型文法是怎麼規定的呢?是符合左線性或者右線性。