本書是計算理論方面的優秀教材之一,包括上下文無關文法、上下文無關文法範式、有限自動機、正則語言的性質、下推自動機和上下文無關語言、圖靈機、圖靈可計算函式、喬姆斯基層次、判定問題與丘奇圖靈機、不可判定性、Mu—遞歸函式、時間複雜性、庫克定理、NP—完全問題、LL(k)文法以及LR(k)文法等問題。本書不僅介紹了計算機科學的基礎,而且通過概念的嚴格表述,以及使用通俗的例子來闡釋定理,從而幫助學生提高數學論證能力以及對計算理論知識。
基本介紹
- 書名:語言與機器
- 作者:(美)(ThomasA.Sudkamp)
- 出版社:機械工業出版社
- 出版時間: 2008