中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
自動機理論、語言和計算導論(英文版、第3版) 版權信息
- ISBN：9787111223924
- 條形碼：9787111223924 ; 978-7-111-22392-4
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
自動機理論、語言和計算導論(英文版、第3版) 內容簡介
本書是關于形式語言、自動機理論和計算復雜性方面的經典教材，是三位理論計算大師的巔峰之作，現已更新到第3版。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的，陸質、圖靈機、不可判定性以及難解問題等內容。
本書已被世界許多著名大學采用為計算機理論課程的教材或教學參考書，適合用作國內高校計算機專業高年級本科生或研究生的教材，還可供從事理論計算工作的研究人員參考。
自動機理論、語言和計算導論(英文版、第3版) 目錄
1 automata: the methods and the madness
1.1 why study automata theory?
1.1.1 introduction to finite automata
1.1.2 structural representations
1.1.3 automata and complexity
1.2 introduction to formal proof
1.2.1 deductive proofs
1.2.2 reduction to definitions
1.2.3 other theorem forms
1.2.4 theorems that appear not to be if-then statements
1.3 additional forms of proof
1.3.1 proving equivalences about sets
1.3.2 the contrapositive
1.3.3 proof by contradiction
1.3.4 counterexamples
1.1 why study automata theory?
1.1.1 introduction to finite automata
1.1.2 structural representations
1.1.3 automata and complexity
1.2 introduction to formal proof
1.2.1 deductive proofs
1.2.2 reduction to definitions
1.2.3 other theorem forms
1.2.4 theorems that appear not to be if-then statements
1.3 additional forms of proof
1.3.1 proving equivalences about sets
1.3.2 the contrapositive
1.3.3 proof by contradiction
1.3.4 counterexamples
展開全部
自動機理論、語言和計算導論(英文版、第3版) 作者簡介
John E.Hopcroft 于斯坦福大學獲得博士學位，現為康奈爾大學計算機科學系教授。1994年到2001年，任康奈爾大學工程學院院長。他是1986年圖靈獎獲得者。他的研究興趣集中在計算理論方面，尤其是算法分析、自動機理論等。
書友推薦
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
回憶愛瑪儂
- >
山海經
- >
推拿
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
唐代進士錄
- >
月亮與六便士
- >
史學評論
本類暢銷
