123,123,123

內(nèi)容簡(jiǎn)介

　　《形式語(yǔ)言與自動(dòng)機(jī)及程序設(shè)計(jì)》介紹了喬姆斯文法體系的四類(lèi)文法及相應(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ī)?！缎问秸Z(yǔ)言與自動(dòng)機(jī)及程序設(shè)計(jì)》的特點(diǎn)是利用計(jì)算機(jī)實(shí)現(xiàn)給定文法所產(chǎn)生的句子、利用計(jì)算機(jī)模擬一些自動(dòng)機(jī)，書(shū)中含有編程思路及過(guò)程，并附有相應(yīng)VC++源程序代碼，《形式語(yǔ)言與自動(dòng)機(jī)及程序設(shè)計(jì)》可作為高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)專(zhuān)業(yè)的本科生和研究生的輔助教材，也可作為相關(guān)專(zhuān)業(yè)工程技術(shù)人員的參考書(shū)。

作者簡(jiǎn)介

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

圖書(shū)目錄

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