編譯原理是大學計算機專業的必修科目，也是計算機的基礎知識，學好編譯原理，有助于更好的進行編程的操作，下面是編譯原理知識點總結，一起來看看吧！

　　編譯原理知識點總結

　　一 編譯器

　　簡單講，編譯器就是將“高級語言”翻譯為“機器語言(低級語言)”的程序。一個現代編譯器的主要工作流程:源代碼 (source code) → 預處理器

　　(preprocessor) → 編譯器 (compiler) → 匯編程序 (assembler) → 目標代碼 (object code) → 鏈接器(Linker) → 可執行程序 (executables)

二 工作原理

　　編譯是從源代碼(通常為高階語言)到能直接被計算機或虛擬機執行的目標代碼(通常為低階語言或機器語言)的翻譯過程。然而，也存在從低階語言到高階語言的編譯器，這類編譯器中用來從由高階語言生成的低階語言代碼重新生成高階語言代碼的又被叫做反編譯器。

　　也有從一種高階語言生成另一種高階語言的編譯器，或者生成一種需要進一步處理的的中間代碼的編譯器(又叫級聯)。

　　典型的編譯器輸出是由包含入口點的名字和地址， 以及外部調用(到不在這個目標文件中的函數調用)的機器代碼所組成的目標文件。一組目標文件，不必是同一編譯器產生，但使用的編譯器必需采用同樣的輸出格式，可以鏈接在一起并生成可以由用戶直接執行的可執行程序

三 編譯器的發展史

(1) 20世紀50年代

　　IBM的John Backus帶領一個研究小組對FORTRAN語言及其編譯器進行開發。但由于當時人們對編譯理論了解不多，開發工作變得既復雜又艱苦。與此同時，Noam Chomsky開始了他對自然語言結構的研究。他的發現最終使得編譯器的結構異常簡單，甚至還帶有了一些自動化。Chomsky的研究導致了根據語言文法的難易程度以及識別它們所需要的算法來對語言分類。正如現在所稱的Chomsky架構(Chomsky Hierarchy)，它包括了文法的四個層次:0型文法、1型文法、2型文法和3型文法，且其中的每一個都是其前者的特殊情況。2型文法(或上下文無關文法)被證明是程序設計語言中最有用的，而且今天它已代表著程序設計語言結構的標準方式。分析問題(parsing problem，用于上下文無關文法識別的有效算法)的研究是在60年代和70年代，它相當完善的解決了這個問題。現在它已是編譯原理中的一個標準部分。

　　有限狀態自動機(Finite Automaton)和正則表達式(Regular Expression)同上下文無關文法緊密相關，它們與Chomsky的3型文法相對應。對它們的研究與Chomsky的研究幾乎同時開始，并且引出了表示程序設計語言的單詞的符號方式。

　　人們接著又深化了生成有效目標代碼的方法，這就是最初的編譯器，它們被一直使用至今。人們通常將其稱為優化技術(Optimization Technique)，但因其從未真正地得到過被優化了的目標代碼而僅僅改進了它的有效性，因此實際上應稱作代碼改進技術(Code Improvement Technique)。

　　當分析問題變得好懂起來時，人們就在開發程序上花費了很大的功夫來研究這一部分的編譯器自動構造。這些程序最初被稱為編譯器的編譯器(Compiler-compiler)，但更確切地應稱為分析程序生成器(Parser Generator)，這是因為它們僅僅能夠自動處理編譯的一部分。這些程序中最著名的是Yacc(Yet Another Compiler-compiler)，它是由Steve Johnson在1975年為Unix系統編寫的。類似的，有限狀態自動機的研究也發展了一種稱為掃描程序生成器(Scanner Generator)的工具，Lex(與Yacc同時，由Mike Lesk為Unix系統開發)是這其中的佼佼者。

　　在70年代后期和80年代早期，大量的項目都貫注于編譯器其它部分的生成自動化，這其中就包括了代碼生成。這些嘗試并未取得多少成功，這大概是因為操作太復雜而人們又對其不甚了解。