形式語言與自動機(jī)導(dǎo)論

本書是理論計(jì)算機(jī)科學(xué)方面的優(yōu)秀教材，主要介紹形式語言、自動機(jī)、可計(jì)算性和相關(guān)內(nèi)容。本書特別注意定義、定理的準(zhǔn)確性和嚴(yán)格性，在定理的證明中給出了直觀的動機(jī)和框架，避免多余的數(shù)學(xué)細(xì)節(jié)，這有利于培養(yǎng)學(xué)生形式化和嚴(yán)格的數(shù)學(xué)推理能力，加強(qiáng)對問題的理解；本書通過精心設(shè)計(jì)的大量示例，生動剖析了各種定理和定義，概念清晰，深入淺出。每章后面還給出了難度不同的習(xí)題，并給出部分習(xí)題的解答，可使學(xué)生加深對基本原理的理解并增強(qiáng)應(yīng)用能力?！　”緯饕榻B形式語言、自動機(jī)、可計(jì)算性和相關(guān)內(nèi)容。主要內(nèi)容包括：計(jì)算理論導(dǎo)引、有窮自動機(jī)、正則語言與正則文法、上下文無關(guān)語言及文法、下推自動機(jī)、圖靈機(jī)、形式語言和自動機(jī)的層次結(jié)構(gòu)、計(jì)算復(fù)雜性等。每節(jié)后面都給出了習(xí)題，并包含部分習(xí)題的解答，方便教學(xué)。　　本書是理論計(jì)算機(jī)科學(xué)方面的優(yōu)秀教材之一，可作為高等院校計(jì)算機(jī)專業(yè)的教材，也可作為計(jì)算機(jī)系統(tǒng)...

本書是理論計(jì)算機(jī)科學(xué)方面的優(yōu)秀教材，主要介紹形式語言、自動機(jī)、可計(jì)算性和相關(guān)內(nèi)容。本書特別注意定義、定理的準(zhǔn)確性和嚴(yán)格性，在定理的證明中給出了直觀的動機(jī)和框架，避免多余的數(shù)學(xué)細(xì)節(jié)，這有利于培養(yǎng)學(xué)生形式化和嚴(yán)格的數(shù)學(xué)推理能力，加強(qiáng)對問題的理解；本書通過精心設(shè)計(jì)的大量示例，生動剖析了各種定理和定義，概念清晰，深入淺出。每章后面還給出了難度不同的習(xí)題，并給出部分習(xí)題的解答，可使學(xué)生加深對基本原理的理解并增強(qiáng)應(yīng)用能力。　　本書主要介紹形式語言、自動機(jī)、可計(jì)算性和相關(guān)內(nèi)容。主要內(nèi)容包括：計(jì)算理論導(dǎo)引、有窮自動機(jī)、正則語言與正則文法、上下文無關(guān)語言及文法、下推自動機(jī)、圖靈機(jī)、形式語言和自動機(jī)的層次結(jié)構(gòu)、計(jì)算復(fù)雜性等。每節(jié)后面都給出了習(xí)題，并包含部分習(xí)題的解答，方便教學(xué)。　　本書是理論計(jì)算機(jī)科學(xué)方面的優(yōu)秀教材之一，可作為高等院校計(jì)算機(jī)專業(yè)的教材，也可作為計(jì)算機(jī)系統(tǒng)研發(fā)人員的參考書。