形式語言與自動機導論
定 價：¥149
中 教 價：¥81.95 (5.50折）
庫 存 數： 3
本書是理論計算機科學方面的經典教材，主要討論形式語言與自動機理論、可計算性理論和計算復雜性理論等內容。本書強調定義和定理的準確性和嚴謹性，但在形式化證明中又非常注重符合直覺的理解，避免多余的數學細節。本書分為理論和應用兩個部分：理論部分主要介紹有窮自動機、正則語言和文法、上下文無關語言和文法、下推自動機、圖靈機、形式語言和自動機的層次結構以及計算復雜性等內容，應用部分主要介紹編譯器和解析、LL解析以及LR解析。
新書資訊