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

《普通高等教育"十一五"國(guó)家級(jí)規(guī)劃教材?21世紀(jì)大學(xué)本科計(jì)算機(jī)專業(yè)系列教材:形式語(yǔ)言與自動(dòng)機(jī)理論(第2版)》是作者結(jié)合其20余年來(lái)在大學(xué)講授該門(mén)課程的經(jīng)驗(yàn)和體會(huì)，選擇和組織有關(guān)內(nèi)容撰寫(xiě)而成。不僅含有有關(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é)生了解和初步掌握“問(wèn)題、形式化、自動(dòng)化（計(jì)算機(jī)化）”的解題思路。為了便于學(xué)生對(duì)內(nèi)容的掌握，附錄A還給出了建議的教學(xué)設(shè)計(jì)。