形式語言與自動機及程序設計

定　價：￥21.00

作　者：	陸玲，周書民著
出版社：	哈爾濱工程大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

京東 (￥18.50)

ISBN：	9787566107534	出版時間：	2014-02-01	包裝：	平裝
開本：	16開	頁數(shù)：	164	字數(shù)：

內容簡介

　　《形式語言與自動機及程序設計》介紹了喬姆斯文法體系的四類文法及相應的實例，以及無限自動機、下推機、圖靈機及相應實例。利用VC++6.0實現(xiàn)了給定文法所產(chǎn)生的句子、確定的有限自動機、不確定的有限自動機、帶空轉移的有限自動機、帶輸出的有限狀態(tài)自動機、下推自動機、確定的下推自動機、基本的圖靈機、具有計算功能的圖靈機、狀態(tài)存儲符號的圖靈機、多道圖靈機、具有子程序的圖靈機。《形式語言與自動機及程序設計》的特點是利用計算機實現(xiàn)給定文法所產(chǎn)生的句子、利用計算機模擬一些自動機，書中含有編程思路及過程，并附有相應VC++源程序代碼，《形式語言與自動機及程序設計》可作為高等學校計算機科學與技術專業(yè)的本科生和研究生的輔助教材，也可作為相關專業(yè)工程技術人員的參考書。

作者簡介

暫缺《形式語言與自動機及程序設計》作者簡介

圖書目錄

1.1 集合
1.2 語言及其表示
1.3 VC++6.OMFC編程簡介
第2章文法
2.1 文法的定義
2.2 文法的喬姆斯基分類
2.3 推導樹
2.4 文法生成句子的程序設計
第3章有限狀態(tài)自動機
3.1 確定的有限自動機
3.2 不確定的有限自動機
第4章下推自動機
4.1 下推自動機的定義
4.2 下推自動機的表示
4.3 下推自動機接受的語言
4.4 下推自動機程序設計
4.5 確定的下推自動機
第5章圖靈機
5.1 圖靈機的基本模型
5.2 圖靈機的計算功能
5.3 圖靈機的狀態(tài)中存儲符號
5.4 圖靈機的多道技術
5.5 圖靈機的子程序技術
5.6 圖靈機的變形
參考文獻