編譯器（compiler）是一種電腦程式，它會將某種程式語言寫成的原始碼（原始語言）轉換成另一種程式語言（目標語言）。
它主要的目的是將便於人編寫、閱讀、維護的進階電腦語言所寫作的原始碼程式，翻譯為電腦能解讀、執行的低階機器語言的程式，也就是執行檔。編譯器將原始程式（source program）作為輸入，翻譯產生使用目標語言（target language）的等價程式。原始碼一般為高階語言（High-level language），如Pascal、C、C++、C# 、Java等，而目標語言則是組合語言或目標機器的目的碼（Object code），有時也稱作機器碼（Machine code）。
一個現代編譯器的主要工作流程如下：
原始碼（source code）→ 預處理器（preprocessor）→ 編譯器（compiler）→ 組譯程式（assembler）→ 目的碼（object code）→ 連結器（linker）→ 執行檔（executables），最後打包好的檔案就可以給電腦去判讀執行了。
早期的電腦軟體都是用組合語言直接編寫的，這種狀況持續了數年。當人們發現為不同類型的中央處理器（CPU）編寫可重用軟體的開銷要明顯高於編寫編譯器時，人們發明了高階程式語言。由於早期的電腦的主記憶體很少，當大家實現編譯器時，遇到了許多技術難題。
大約在20世紀50年代末期，與機器無關的程式語言被首次提出。隨後，人們開發了幾種實驗性質的編譯器。第一個編譯器是由美國女性電腦科學家葛麗絲·霍普（Grace Murray Hopper）於1952年為A-0 系統編寫的。但是1957年由任職於IBM的美國電腦科學家約翰·巴科斯（John Warner Backus）領導的FORTRAN則是第一個被實作出具備完整功能的編譯器。1960年，COBOL成為一種較早的能在多種架構下被編譯的語言。
高階語言在許多領域流行起來。由於新的程式語言支援的功能越來越多，電腦的架構越來越複雜，這使得編譯器也越來越複雜。
早期的編譯器是用組合語言編寫的。首個能編譯自己源程式的編譯器是在1962年由麻省理工學院的Hart和Levin製作的。從20世紀70年代起，實現能編譯自己源程式的編譯器變得越來越可行，不過還是用Pascal和C語言來實現編譯器更加流行。製作某種語言的第一個能編譯器，要麼需要用其它語言來編寫，要麼就像Hart和Levin製作Lisp編譯器那樣，用直譯器來執行編譯器。
編譯器的構造與最佳化是電腦專業的大學課程，[1]課程名稱一般為「編譯原理」或「編譯器」。通常在課程中包含了如何實現一種教學用程式語言的編譯器。一個著名的例子是20世紀70年代，瑞士電腦科學家尼克勞斯·維爾特（Niklaus Emil Wirth）用於講解編譯器的構造時使用的PL/0編譯器。儘管它很簡單，PL/0編譯器介紹了這個領域的幾個有影響的概念：
- 逐步求精的程式開發（也是 1971年 Wirth 的論文的標題）[2]
- 使用遞迴下降解析器
- 使用EBNF指定語言的語法。
- 碼產生器產生可攜式P-code
- 在自舉問題的正式描述中使用T-diagram。
編譯器的一種分類方式是按照生成代碼所執行的系統平台劃分，這個平台稱為目標平台。
有一些編譯器輸出的代碼，將執行於與編譯器所在相同類型的電腦和作業系統之上，這種編譯器叫做本地編譯器。輸出可以執行於不同的平台之上的編譯器，叫做交叉編譯器。由於嵌入式系統通常沒有軟體開發環境，因此，為這類系統開發軟體時，通常需要使用交叉編譯器。
編譯器所輸出於虛擬機器上執行之代碼，編譯器和編譯器輸出的執行平台有可能相同，也有可能不同。因此，對於這類編譯器，不去區分它是本地編譯器還是交叉編譯器。
Chakraborty, P., Saxena, P. C., Katti, C. P., Pahwa, G., Taneja, S. A new practicum in compiler construction. Computer Applications in Engineering Education, In Press. http://onlinelibrary.wiley.com/doi/10.1002/cae.20566/pdf （頁面存檔備份，存於網際網路檔案館）
- LLVM community. The LLVM Target-Independent Code Generator. LLVM Documentation. [17 June 2016]. （原始內容存檔於2021-05-01）.
- Compiler textbook references A collection of references to mainstream Compiler Construction Textbooks
- Aho, Alfred V.; Sethi, Ravi; Ullman, Jeffrey D. Compilers: Principles, Techniques, and Tools 1st. Addison-Wesley. 1986. ISBN 9780201100884.
- Allen, Frances E. A History of Language Processor Technology in IBM. IBM Journal of Research and Development (IBM). September 1981, 25 (5): 535–548. doi:10.1147/rd.255.0535.
- Allen, Randy; Kennedy, Ken. Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers. 2001. ISBN 978-1-55860-286-1.
- Appel, Andrew Wilson. Modern Compiler Implementation in Java 2nd. Cambridge University Press. 2002. ISBN 978-0-521-82060-8.
- Appel, Andrew Wilson. Modern Compiler Implementation in ML. Cambridge University Press. 1998 [2020-01-11]. ISBN 978-0-521-58274-2. （原始內容存檔於2021-04-27）.
- Bornat, Richard. Understanding and Writing Compilers: A Do It Yourself Guide (PDF). Macmillan Publishing. 1979 [2020-01-11]. ISBN 978-0-333-21732-0. （原始內容 (PDF)存檔於2007-06-15）.
- Cooper, Keith Daniel; Torczon, Linda. Engineering a compiler 2nd. Amsterdam: Elsevier/Morgan Kaufmann. 2012: 8. ISBN 9780120884780. OCLC 714113472.
- McKeeman, William Marshall; Horning, James J.; Wortman, David B. A Compiler Generator. Englewood Cliffs, NJ: Prentice-Hall. 1970. ISBN 978-0-13-155077-3.
- Muchnick, Steven. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers. 1997 [2020-01-11]. ISBN 978-1-55860-320-2. （原始內容存檔於2021-02-23）.
- Scott, Michael Lee. Programming Language Pragmatics 2nd. Morgan Kaufmann. 2005 [2020-01-11]. ISBN 978-0-12-633951-2. （原始內容存檔於2021-04-27）.
- Srikant, Y. N.; Shankar, Priti. The Compiler Design Handbook: Optimizations and Machine Code Generation. CRC Press. 2003 [2020-01-11]. ISBN 978-0-8493-1240-3. （原始內容存檔於2021-04-27）.
- Terry, Patrick D. Compilers and Compiler Generators: An Introduction with C++. International Thomson Computer Press. 1997 [2020-01-11]. ISBN 978-1-85032-298-6. （原始內容存檔於2015-09-14）.
- Wirth, Niklaus. Compiler Construction (PDF). Addison-Wesley. 1996 [2020-01-11]. ISBN 978-0-201-40353-4. （原始內容 (PDF)存檔於2017-02-17）.
.gif){kind=small}
