| 摘要註: |
形式語言與自動機理論是計算機科學與技術專業本科生的一門重要課程。本書是作者結合其10 餘年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成。本書不僅含有有關正則語言、上下文無關語言的文法、識別模型及其性質、圖靈機的基本知識，更涉及到本學科方法論中所包含的三個學科形態。其內容特點是抽象和形式化，既有嚴格的理論證明，又具有很強的構造性，從而培養學生的形式化描述和抽象思維能力，使學生了解和初步掌握“問題、形式化、自動化（計算機化）”的解題思路。為了便於學生對內容的掌握，附錄 A 還給出了建議的教學設計。 |