
陳文宇 田玲 程偉 劉貴松
本書簡述了形式語言的基本內容,包括文法的分類和語言間運算的封閉性;系統論述了有限自動機:有限狀態自動機、下推自動機和圖靈機(包括量子圖靈機)的基礎理論。從構造文法產生語言的角度和構造自動機識別語言的角度對語言進行了討論;介紹了文法與等價的自動機之間的轉換方法;並介紹了有限自動機的一些典型應用。本書以新的思維方式爲讀者提供一把鑰匙,主要培養讀者的獨立思考能力,使用符號化的系統描述程序設計語言或自然語言的語法結構的能力,以及構造自動機的能力。
這本書排版本來就不咋樣,電子版很多地方根本沒法看 內容上略看了解下概念還行吧,細看錯誤百出真的要折磨死人
入門天教科書要有用戶思維,這是中國教科書的通病。
前幾章複習了下,後面看不動了,等下次再看吧。
排版真是大問題。 大而略,可以再精細