形式語言與自動機及程序設(shè)計

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

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