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

內(nèi)容概要

本書(shū)主要介紹形式語(yǔ)言、自動(dòng)機(jī)、可計(jì)算性和相關(guān)內(nèi)容。主要內(nèi)容包括：計(jì)算理論導(dǎo)引、有窮自動(dòng)機(jī)、正則語(yǔ)言與正則文法、上下文無(wú)關(guān)語(yǔ)言及文法、下推自動(dòng)機(jī)、圖錄機(jī)、形式語(yǔ)言和自動(dòng)機(jī)的層次結(jié)構(gòu)、計(jì)算復(fù)雜性等。每節(jié)后面都給出了習(xí)題，并包含部分習(xí)題的解答，方便教學(xué)。    本書(shū)是理論計(jì)算機(jī)科學(xué)方面的優(yōu)秀教材之珂作為高等院校計(jì)算機(jī)專業(yè)的教材，也可作為計(jì)算機(jī)系統(tǒng)研發(fā)人員的參考書(shū)。

作者簡(jiǎn)介

Peter Linz 在威斯康星大學(xué)獲得博士學(xué)位，是加州大學(xué)戴維斯分校計(jì)算機(jī)科學(xué)系退休教授，其研究領(lǐng)域?yàn)橛?jì)算機(jī)數(shù)值分析理論。除本書(shū)外，他還撰有《Exploring Numerical Methods:Fan Introduction to Scientific Computing》一書(shū)。

書(shū)籍目錄

出版者的話專家指導(dǎo)委員會(huì)譯者序前言第1章  計(jì)算理論導(dǎo)引  1.1 數(shù)學(xué)預(yù)備知識(shí)和表示  1.2 三個(gè)基本概念  1.3 一些應(yīng)用第2章  有窮自動(dòng)機(jī)  2.1 確定型有窮接受器  2.2 非確這型有窮接受器  2.3 確定型有窮接受器和非確定型有  2.4 減少有窮自動(dòng)機(jī)中狀態(tài)的化簡(jiǎn)第3章  正則語(yǔ)言與正則文法  3.1 正則表達(dá)式  3.2 正則表達(dá)和正則語(yǔ)言之間的聯(lián)系  3.3 正則文法第4章  正則語(yǔ)言的性質(zhì)  4.1 正則語(yǔ)言的封閉性質(zhì)  4.2 正則語(yǔ)言的基本問(wèn)題  4.3 識(shí)別非正則語(yǔ)言第5章  上下文無(wú)關(guān)語(yǔ)言  5.1 上下文無(wú)關(guān)方法  5.2 分析和二義性  5.3 上下文無(wú)關(guān)文法和程序設(shè)計(jì)語(yǔ)言第6章  上下文無(wú)關(guān)文法的化簡(jiǎn)與范式  6.1 文法變換方法  6.2 兩個(gè)重要的范式  6.3 上下文無(wú)關(guān)文法的成員資格第7章  下推自動(dòng)機(jī)  7.1 非確定型下推自動(dòng)機(jī)  7.2 下推自動(dòng)機(jī)與上下文無(wú)關(guān)語(yǔ)言  7.3 確定型下推自動(dòng)機(jī)和確定型上下文無(wú)關(guān)語(yǔ)言  7.4 確定型上下文無(wú)關(guān)語(yǔ)言的方法第8章  上下文無(wú)關(guān)語(yǔ)言的性質(zhì)  8.1 兩個(gè)泵引理  8.2 上下文無(wú)關(guān)語(yǔ)言的封閉性質(zhì)和判定算法第9章  圖靈機(jī)  9.1 標(biāo)準(zhǔn)圖靈機(jī)  9.2 完成復(fù)雜任務(wù)的組合圖靈機(jī)  9.3 圖靈論題第10章  圖靈機(jī)的其他模型  10.1 對(duì)圖靈機(jī)的等價(jià)性  10.2 具有更復(fù)雜存儲(chǔ)的圖靈機(jī)  10.3 非確定型圖靈機(jī)  10.4 通用圖靈機(jī)  10.5 線性有界自動(dòng)機(jī)第11章  形式語(yǔ)言和自動(dòng)機(jī)的層次結(jié)構(gòu)第12章  算法計(jì)算的限制第13章  其他的計(jì)算模型第14章  計(jì)算復(fù)雜性介紹部分習(xí)題的解答和提示參考文獻(xiàn)索引

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    形式語(yǔ)言與自動(dòng)機(jī)導(dǎo)論 PDF格式下載

---