形式語(yǔ)言與自動(dòng)機(jī)理論教學(xué)參考書(第2版)

圖書詳細(xì)信息：

作者：蔣宗禮

ISBN：9787302149712

定價(jià)：25元

印次：2-1

裝幀：平裝

印刷日期：2007-6-20

圖書簡(jiǎn)介：

本書根據(jù)作者對(duì)計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)教育特點(diǎn)的理解和“21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材”編寫的總體要求，作為《形式語(yǔ)言與自動(dòng)機(jī)理論(第2版)》(主教材)一書的配套教學(xué)輔導(dǎo)用書，按照主教材的結(jié)構(gòu)編寫而成。本書包括有關(guān)內(nèi)容的講解、學(xué)習(xí)要點(diǎn)、問題分析、求解思路和方法、注意事項(xiàng)、典型習(xí)題的解析等內(nèi)容，并且按照小節(jié)給出知識(shí)點(diǎn)和主要內(nèi)容解讀。為讀者學(xué)習(xí)和掌握主教材中的知識(shí)點(diǎn)和問題求解方法，體會(huì)問題求解的核心思想提供幫助，對(duì)教師和學(xué)生來(lái)說(shuō)，閱讀這些內(nèi)容都是很有意義的。

形式語(yǔ)言與自動(dòng)機(jī)理論(第2版)

圖書詳細(xì)信息：

作者：蔣宗禮、姜守旭

ISBN：9787302149705

定價(jià)：29元

印次：2-1

裝幀：平裝

印刷日期：2007-6-20

圖書簡(jiǎn)介：

形式語(yǔ)言與自動(dòng)機(jī)理論是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的一門重要課程。本書是作者結(jié)合其20余年來(lái)在大學(xué)講授該門課程的經(jīng)驗(yàn)和體會(huì)，選擇和組織有關(guān)內(nèi)容撰寫而成。不僅含有有關(guān)正則語(yǔ)言、上下文無(wú)關(guān)語(yǔ)言的文法、識(shí)別模型及其性質(zhì)、圖靈機(jī)的基本知識(shí)，更涉及到本學(xué)科方法論中所包含的3個(gè)學(xué)科形態(tài)。其內(nèi)容特點(diǎn)是抽象和形式化，既有嚴(yán)格的理論證明，又具有很強(qiáng)的構(gòu)造性，從而培養(yǎng)學(xué)生的形式化描述和抽象思維能力，使學(xué)生了解和初步掌握“問題、形式化、自動(dòng)化(計(jì)算機(jī)化)”的解題思路。為了便于學(xué)生對(duì)內(nèi)容的掌握，附錄A還給出了建議的教學(xué)設(shè)計(jì)。

本書配套出版有《形式語(yǔ)言與自動(dòng)機(jī)理論教學(xué)參考書(第2版)》，歸納各章知識(shí)點(diǎn)，解讀主要內(nèi)容，解析典型習(xí)題。

本書適合作為計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的高年級(jí)本科生、研究生的教材，也可供相關(guān)專業(yè)的學(xué)生、教師和科研人員參考。