軟考中要考的主要的是文法、正規式、有窮自動機、語法推導樹和算符優先。html
有0型文法、1型文法、2型文法、3型文法。spa
0型文法是限制最少的一個。有Vn:非終結符集合。Vt:終結符集合。P:推導式集合htm
S:開始符。只要推導式的左側至少含義1個非終結符就可。blog
1型文法又叫上下文有關文法,他要求在0型文法的基礎上,要求推導式的右側的長度大於等於左側的長度。get
2型文法又叫上下文無關文法,他要求在1型文法的基礎上,推導式的左側是分終結符。it
3型文法又叫正規文法,他規定了推導式的型狀,只能是左線性或者右線性。io
因此,這幾種文法,一個比一個限制高。0型文法包含1型文法,1型文法包含2型文法,2型文法包含3型文法。編譯
要掌握正則式和正則文法的轉換。轉換規則:class
肯定性的有窮自動機DFA和不肯定性的有窮自動機NFA的區別主要是,肯定性的有窮自動機初始態只有1個,二不肯定性的右多個。編譯原理
NFA轉換爲DFA,是將全部的開始狀態做爲一個集合,而後分別按照不一樣的推導出不一樣集合,而後再把新組成的集合在按照不一樣的推導出新的集合,這樣不斷不斷重複下去,直到不出現新的集合,而後把這些新的集合當成新的狀態節點,組成一個DFA。
正則式和有限自動機的轉換,按照下面的規定轉換便可。
要掌握什麼事語法推導樹,短語,簡單短語和句柄。會寫語法推導樹。從語法推導樹中求短語、簡單短語、句柄。
要會會期算符有限關係表。先求FIRSTVT集合和LASTBT集合,而後記住下面這幾種算符有限關係規則便可: