本書1984年出版，成型於美國麻省理工學院(MIT)多年使用的一本教材，1996年修訂為第2版。在過去的二十多年裡，本書對於電腦科學的教育計劃產生了深刻的影響。
第2版中大部分重要程式設計系統都重新修改並做過測試，包括各種直譯器和編譯器。作者根據其後十餘年的教學實踐，還對其他許多細節做了相應的修改。每一位嚴肅的電腦科學家都應該閱讀這本書。由於本書清晰、簡潔和富於才智，我們強烈推薦本書，它適合所有希望深刻理解電腦科學的人們。
編譯原理
《編譯原理》全面、深入地探討了編譯器設計方面的重要主題，包括詞法分析、語法分析、語法制導定義和語法制導翻譯、執行時刻環境、目的碼生成、程式碼優化技術、並行性檢測以及過程間分析技術，並在相關章節中給出大量的例項。與上一版相比，《編譯原理》進行了全面修訂，涵蓋了編譯器開發方面最新進展。每章中都提供了大量的例項及參考文獻。
UNIX程式設計藝術
本書主要介紹了Unix系統領域中的設計和開發哲學、思想文化體系、原則與經驗，由公認的Unix程式設計大師、開源運動領袖人物之一Eric S. Raymond傾力多年寫作而成。包括Unix設計者在內的多位領域專家也為本書貢獻了寶貴的內容。本書內容涉及社群文化、軟體開發設計與實現，覆蓋面廣、內容深邃，完全展現了作者極其深厚的經驗積累和領域智慧。
程式設計實踐
這本書從排錯、測試、效能、可移植性、設計、介面、風格和記法等方面，討論了程式設計中實際的、又是非常深刻和具有廣泛意義的思想、技術和方法。此書翻譯的不是很理想，有英文基礎的可以閱讀英文版。
圖靈的祕密
圖靈機是英國數學家阿蘭•圖靈提出的一種抽象計算模型，本書深入剖析了圖靈這篇描述圖靈機和可計算性的原始論文《論可計算數及其在判定性問題上的應用》。書中在詳解論文的同時，也附帶了大量的歷史背景資料、圖靈的個人經歷，以及圖靈機對於人們理解計算機、人類意識和宇宙所產生的影響。 本書適合所有電腦科學專業的學生、程式設計師或其他技術人員，同時也適合欲瞭解圖靈生平及其構建圖靈機的思維的讀者閱讀。
未完待續……
相關閱讀
評論(1)