《自動機理論、語言和計算導論》是一本2022年機械工業出版社出版的圖書，作者是[美] 約翰·E.霍普克羅夫特。
基本介紹
- 中文名：自動機理論、語言和計算導論
- 作者：[美] 約翰·E.霍普克羅夫特
- 譯者：孫家驌 等
- 出版社：機械工業出版社
- 出版時間：2022年5月1日
- 頁數：380 頁
- 開本：16 開
- 裝幀：平裝
- ISBN：9787111704294
內容簡介,作者簡介,
內容簡介
本書是關於形式語言、自動機理論和計算複雜性方面的經典之作。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的性質、圖靈機、不可判定性以及難解問題等內容。本書在定義和證明中使用了很多細節和直觀說明，使用圖來幫助闡明思想，並包含了大量的難度各異的示例和習題，以便讀者確認和加深對內容的理解。本書已被世界許多著名大學作為計算機理論課程的教材或教學參考書，適合作為高校計算機專業高年級本科生及研究生的教材，還可供從事理論計算工作的研究人員參考。
作者簡介
約翰·E.霍普克羅夫特（John E. Hopcroft） 1986年圖靈獎獲得者、美國國家工程院院士、美國國家科學院院士、美國國家藝術與科學院院士、中國科學院外籍院士、美國康奈爾大學教授。他的研究興趣集中在計算理論方面，尤其是算法分析、自動機理論等。他和Jeffrey D. Ullman一起獲得2010年IEEE頒發的約翰·馮諾依曼獎，以表彰其“為自動機和語言理論領域奠定基礎，以及對理論計算機科學的許多開創性貢獻”。
拉傑夫·莫特瓦尼（Rajeev Motwani） 史丹福大學計算機科學系教授。他的研究興趣包括資料庫、數據挖掘、Web搜尋和信息檢索、機器人等。他於2009年6月意外身亡，享年47歲。
傑弗里·D.烏爾曼（Jeffrey D. Ullman） 2020年圖靈獎獲得者、美國國家工程院院士、史丹福大學計算機科學系名譽教授。他的研究興趣包括資料庫理論、資料庫集成、數據挖掘、理論計算等。他和John E. Hopcroft一起獲得2010年IEEE頒發的約翰·馮諾依曼獎，以表彰其“為自動機和語言理論領域奠定基礎，以及對理論計算機科學的許多開創性貢獻”。
