幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

自動機理論語言和計算導論(原書第3版典藏版)/電腦科學叢書

  • 作者：(美)約翰·E.霍普克羅夫特//拉傑夫·莫特瓦尼//傑弗里·D.烏爾曼|責編:姚蕾|譯者:孫家驌
  • 出版社：機械工業
  • ISBN：9787111704294
  • 出版日期：2022/04/01
  • 裝幀：平裝
  • 頁數：366
人民幣：RMB 119 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書是形式語言、自動機理論和計算複雜性方面的經典之作，是在國際上得到廣泛認可的電腦理論和電腦工程專業的教材。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的性質、圖靈機、不可判定性以及難解問題等內容。本書注重定義、定理的準確性和嚴格性，注重形式化和嚴格的數學推理能力的培養，同時在定義和證明中運用直觀的方法說明抽象概念，借助許多圖表幫助傳達思想，並包含大量難度各異的示例和習題，便於學生加深對內容的理解。
    本書適合作為電腦專業高年級本科生及研究生計算理論課程的教材和教學參考書。
作者介紹
(美)約翰·E.霍普克羅夫特//拉傑夫·莫特瓦尼//傑弗里·D.烏爾曼|責編:姚蕾|譯者:孫家驌
目錄
譯者序
前言
第1章  自動機：方法與體驗
  1.1  為什麼研究自動機理論
    1.1.1  有窮自動機簡介
    1.1.2  結構表示法
    1.1.3  自動機與複雜性
  1.2  形式化證明簡介
    1.2.1  演繹證明
    1.2.2  求助於定義
    1.2.3  其他定理形式
    1.2.4  表面上不是「如果-則」命題的定理
  1.3  其他的證明形式
    1.3.1  證明集合等價性
    1.3.2  逆否命題
    1.3.3  反證法
    1.3.4  反例
  1.4  歸納證明
    1.4.1  整數上的歸納法
    1.4.2  更一般形式的整數歸納法
    1.4.3  結構歸納法
    1.4.4  互歸納法
  1.5  自動機理論的中心概念
    1.5.1  字母表
    1.5.2  串
    1.5.3  語言
    1.5.4  問題
  1.6  小結
  1.7  參考文獻
第2章  有窮自動機
  2.1  有窮自動機的非形式化描述
    2.1.1  基本規則
    2.1.2  協議
    2.1.3  允許自動機忽略動作
    2.1.4  整個系統成為一個自動機
    2.1.5  用乘積自動機驗證協議
  2.2  確定型有窮自動機
    2.2.1  確定型有窮自動機的定義
    2.2.2  DFA如何處理串
    2.2.3  DFA的簡化記號
    2.2.4  把轉移函數擴展到串
    2.2.5  DFA的語言
    2.2.6  習題
  2.3  非確定型有窮自動機
    2.3.1  非確定型有窮自動機的非形式化觀點
    2.3.2  非確定型有窮自動機的定義
    2.3.3  擴展轉移函數
    2.3.4  NFA的語言
    2.3.5  確定型有窮自動機與非確定型有窮自動機的等價性
    2.3.6  子集構造的壞情形

    2.3.7  習題
  2.4  應用：文本搜索
    2.4.1  在文本中查找串
    2.4.2  文本搜索的非確定型有窮自動機
    2.4.3  識別關鍵字集合的DFA
    2.4.4  習題
  2.5  帶ε轉移的有窮自動機
    2.5.1  ε轉移的用途
    2.5.2  ε-NFA的形式化定義
    2.5.3  ε閉包
    2.5.4  ε-NFA的擴展轉移和語言
    2.5.5  消除ε轉移
    2.5.6  習題
  2.6  小結
  2.7  參考文獻
第3章  正則表達式與正則語言
第4章  正則語言的性質
第5章  上下文無關文法及上下文無關語言
第6章  下推自動機
第7章  上下文無關語言的性質
第8章  圖靈機導引第9章不可判定性
第10章  難解問題
第11章  其他問題類
索引

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032