自動(dòng)機(jī)理論、語(yǔ)言和計(jì)算導(dǎo)論（原書第2版）

內(nèi)容概要

　　本書是關(guān)于形式語(yǔ)言、自動(dòng)機(jī)理論和計(jì)算復(fù)雜性方面的經(jīng)典之作。書中涵蓋了有窮自動(dòng)機(jī)、正則表達(dá)式與語(yǔ)言、正則語(yǔ)言的性質(zhì)、上下文無(wú)關(guān)文法及上下文無(wú)關(guān)語(yǔ)言、下推自動(dòng)機(jī)、上下文無(wú)關(guān)語(yǔ)言的性質(zhì)、圖靈機(jī)、不可判定性以及難解問(wèn)題等內(nèi)容。本書在定義和證明中使用了很多細(xì)節(jié)和直觀說(shuō)明，使用圖來(lái)幫助闡明思想，并包含了大量的難度各異的示例和習(xí)題，以便讀者確認(rèn)和加深對(duì)內(nèi)容的理解。
　　本書適合作為計(jì)算機(jī)專業(yè)高年級(jí)本科生及研究生計(jì)算理論課程的教材和教學(xué)參考書。

作者簡(jiǎn)介

John E.Hopcroft，康奈爾大學(xué)計(jì)算機(jī)科學(xué)系教授，工程學(xué)院Joseph Silbert院長(zhǎng)，康奈爾大學(xué)工程學(xué)院計(jì)算機(jī)科學(xué)主任。1986年圖靈獎(jiǎng)獲得者。

書籍目錄

出版者的話專家指導(dǎo)委員會(huì)譯者序前言第1章 自動(dòng)機(jī)：方法與體驗(yàn) 1.1 為什么研究自動(dòng)機(jī)理論 1.2 形式化證明簡(jiǎn)介 1.3 其他的證明形式 1.4 歸納證明 1.5 自動(dòng)機(jī)理論的中心概念 1.6 小結(jié)  1.7 參考文獻(xiàn)第2章 有窮自動(dòng)機(jī) 2.1 有窮自動(dòng)機(jī)的非形式化描述 2.2 確定型有窮自動(dòng)機(jī) 2.3 非確定型有窮自動(dòng)機(jī) 2.4 應(yīng)用：文本搜索 2.5 帶ε轉(zhuǎn)移的有窮自動(dòng)機(jī) 2.6 小結(jié) 2.7 參考文獻(xiàn)第3章 正則表達(dá)式與正則語(yǔ)言第4章 正則語(yǔ)言的性質(zhì)第5章 上下文無(wú)關(guān)文法及上下文無(wú)關(guān)語(yǔ)言第6章 下推自動(dòng)機(jī)第7章 上下文無(wú)關(guān)語(yǔ)言的性質(zhì)第8章 圖靈機(jī)導(dǎo)引第9章 不同判定性第10章 難解問(wèn)題第11章 其他問(wèn)題類索引

圖書封面

圖書標(biāo)簽Tags

無(wú)

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

---

    自動(dòng)機(jī)理論、語(yǔ)言和計(jì)算導(dǎo)論（原書第2版） PDF格式下載

---