形式語(yǔ)言與自動(dòng)機(jī)及程序設(shè)計(jì)

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

暫缺《形式語(yǔ)言與自動(dòng)機(jī)及程序設(shè)計(jì)》作者簡(jiǎn)介