陸玲、周書民編著的《形式語言與自動機及程式設計》介紹了喬姆斯文法體系的四類文法及相應的實例，以及無限自動機、下推機、圖靈機及相應買例。利用VC++6．0實現了給定文法所產生的句子、確定的有限自動機、不確定的有限自動機、帶空轉移的有限自動機、帶輸出的有限狀態自動機、下推自動機、確定的下推自動機、基本的圖靈機、具有計算功能的圖靈機、狀態存儲符號的圖靈機、多道圖靈機、具有子程式的圖靈機。 《形式語言與自動機及程式設計》的特點是利用計算機實現給定文法所產生的句子、利用計算機模擬一些自動機。書中含有編程思路及過程，並附有相應VC++源程式代碼，本書可作為高等學校計算機科學與技術專業的本科生和研究生的輔助教材，也可作為相關專業工程技術人員的參考書。
基本介紹
- 書名：形式語言與自動機及程式設計
- 出版社：哈爾濱工程大學出版社
- 頁數：164頁
- 開本：16
- 作者：陸玲 周書民
- 出版日期：2014年2月1日
- 語種：簡體中文
- ISBN：7566107534
第1章 基礎知識簡介
1.1 集合
1.2 語言及其表示
1.3 VC++6.0MFC編程簡介
第2章 文法
2.1 文法的定義
2.2 文法的喬姆斯基分類
2.3 推導樹
2.4 文法生成句子的程式設計
第3章 有限狀態自動機
3.1 確定的有限自動機
3.2 不確定的有限自動機
第4章 下推自動機
4.1 下推自動機的定義
4.2 下推自動機的表示
4.3 下推自動機接受的語言
4.4 下推自動機程式設計
4.5 確定的下推自動機
第5章 圖靈機
5.1 圖靈機的基本模型
5.2 圖靈機的計算功能
5.3 圖靈機的狀態中存儲符號
5.4 圖靈機的多道技術
5.5 圖靈機的子程式技術
5.6 圖靈機的變形
參考文獻
1.1 集合
1.2 語言及其表示
1.3 VC++6.0MFC編程簡介
第2章 文法
2.1 文法的定義
2.2 文法的喬姆斯基分類
2.3 推導樹
2.4 文法生成句子的程式設計
第3章 有限狀態自動機
3.1 確定的有限自動機
3.2 不確定的有限自動機
第4章 下推自動機
4.1 下推自動機的定義
4.2 下推自動機的表示
4.3 下推自動機接受的語言
4.4 下推自動機程式設計
4.5 確定的下推自動機
第5章 圖靈機
5.1 圖靈機的基本模型
5.2 圖靈機的計算功能
5.3 圖靈機的狀態中存儲符號
5.4 圖靈機的多道技術
5.5 圖靈機的子程式技術
5.6 圖靈機的變形
參考文獻
