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