01 / 導讀
導讀
適合誰
適合從程式設計轉向計算數學模型的學生。前半建立證明語言，後半介紹形式語言與機器，適合實作經驗較多、命題證明經驗較少的讀者。
需要的基礎
需要程式入門和中學代數。正文先教邏輯、集合與函數，不要求先修離散數學。
涵蓋內容
從邏輯、集合、函數及關係進入正規表示式、有限自動機、文法和圖靈機，連結語言描述與模型能力，不替代完整複雜度理論。
如何使用
把程式條件寫成邏輯命題並檢驗量詞。為簡單語言構造自動機，追蹤應接受與拒絕的字串；證明限制前寫清模型和目標，不把幾個測試輸入當全稱證明。
版本與來源
作者頁提供完整2.3.2版本，採CC BY-NC-SA 4.0。底本為2011年修訂，後有授權與PDF連結改善；不把檔案變化算新出版年，也不猜ISBN。
