形式語言與自動機導論

內容介紹

本書精闢地闡述了計算課程的入門理論，簡明地解釋了複雜的思想並且提供了堅實的數學基礎知識。作者提供了直觀的證明，同時避免過多數學細節，這樣學生就能夠集中精力理解基本理論。許多精心選擇的例子在幾種上下文中重複出現，這樣學生就能夠通過對比式的研究加強理解。