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