《普通高等教育精品教材·21世紀(jì)大學(xué)本科計算機專業(yè)系列教材：形式語言與自動機理論（第3版）》集作者30余年相應(yīng)課程的教學(xué)經(jīng)驗和20余年對專業(yè)教育的研究體會編著而成。自第1版在2003年出版以來，受到讀者的厚愛，成為國內(nèi)主創(chuàng)的、發(fā)行量最大、最優(yōu)秀的形式語言與自動機理論教材。第1版獲北京市教學(xué)成果等獎、北京市精品教材，第2版獲國家級2008年度普通高等教育精品教材、北京市精品教材。　　·通過模型建立，等價變換、性質(zhì)分析，使讀者逐漸熟悉模型計算。層次分明，循序漸進(jìn)符合認(rèn)知規(guī)律，突出設(shè)計形態(tài)，很好地體現(xiàn)了本專業(yè)理工兼有的特征和學(xué)科“抽象第一”的基本教育原理�！　　ひ龑�(dǎo)能力導(dǎo)向的教育。以知識為載體，注重模型建立、構(gòu)造、變換、證明的方法與思想討論，挖掘知識背后的內(nèi)容，支持研究性教學(xué)，強化專業(yè)基本能力和創(chuàng)新能力的培養(yǎng)在�！　　と〔暮线m，結(jié)構(gòu)嚴(yán)謹(jǐn)，深入淺出，把握知識點間的聯(lián)系，安排鋪墊，分散難點，突出重點，努力化解深奧，保持基本內(nèi)容抽象和形式化，通過思路表達(dá)的可視化提高了易懂性，富有發(fā)性，使抽象、枯燥的內(nèi)容變得吸引人�！　　づ溆写罅侩y度適當(dāng)、前后呼應(yīng)、富有啟發(fā)性、努力結(jié)合專業(yè)、宏觀和微觀兼有的習(xí)題。教學(xué)設(shè)計、縮寫符號、詞匯索引等，便于學(xué)習(xí)。