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

同類熱銷排行榜

最近瀏覽的商品

形式語言與自動機導論(原書第7版)/電腦科學叢書

  • 作者：(美)彼得·林茨//蘇珊·H.羅傑|責編:曲熠|譯者:王春宇//袁永峰
  • 出版社：機械工業
  • ISBN：9787111767527
  • 出版日期：2025/02/01
  • 裝幀：平裝
  • 頁數：477
人民幣：RMB 129 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書是理論電腦科學方面的經典教材，主要討論形式語言與自動機理論、可計算性理論和計算複雜性理論等內容。本書強調定義和定理的準確性和嚴謹性，但在形式化證明中又非常注重符合直覺的理解，避免多餘的數學細節。本書分為理論和應用兩個部分。本書可幫助讀者熟悉電腦科學的基礎和原理，加強嚴格的形式化數學證明的能力，適合高等院校電腦科學及相關專業的學生學習，也適合理論電腦科學方向的研究人員參考。
作者介紹
(美)彼得·林茨//蘇珊·H.羅傑|責編:曲熠|譯者:王春宇//袁永峰
目錄
譯者序
前言
理論部分
  第1章  計算理論概論
    1.1  數學預備知識和符號表示
      1.1.1  集合
      1.1.2  函數和關係
      1.1.3  圖和樹
      1.1.4  證明方法
    1.2  三個基本概念
      1.2.1  語言
      1.2.2  文法
      1.2.3  自動機
    1.3  應用*
  第2章  有窮自動機
    2.1  確定的有窮接受器
      2.1.1  確定的接受器和轉移圖
      2.1.2  語言和DFA的語言
      2.1.3  正則語言
    2.2  非確定的有窮接受器
      2.2.1  非確定的接受器的定義
      2.2.2  為什麼需要非確定性？
    2.3  確定與非確定的有窮接受器的等價性
    2.4  減少有窮自動機中狀態的化簡*
  第3章  正則語言和正則文法
    3.1  正則表達式.
      3.1.1  正則表達式的形式定義
      3.1.2  正則表達式所關聯的語言
    3.2  正則表達式和正則語言的聯繫
      3.2.1  正則表達式表示正則語言
      3.2.2  正則語言的正則表達式
      3.2.3  描述簡單模式的正則表達式
    3.3  正則文法
      3.3.1  左線性文法和右線性文法
      3.3.2  右線性文法生成正則語言
      3.3.3  正則語言的右線性文法
      3.3.4  正則語言和正則文法的等價性
  第4章  正則語言的性質
    4.1  正則語言的封閉性
      4.1.1  簡單集合運算的封閉性
      4.1.2  其他運算的封閉性
    4.2  正則語言的基本問題
    4.3  識別非正則語言
      4.3.1  鴿巢原理的使用
      4.3.2  泵引理
  第5章  上下文無關語言
    5.1  上下文無關文法
      5.1.1  上下文無關文法示例
      5.1.2  最左推導和最右推導
      5.1.3  推導樹

      5.1.4  句型和推導樹的關係
    5.2  解析和歧義性
      5.2.1  解析和成員資格
      5.2.2  文法和語言的歧義性
    5.3  上下文無關文法和程序設計語言
  第6章  上下文無關文法的化簡和範式
    6.1  文法轉換的方法
      6.1.1  有用的代入規則
      6.1.2  消除無用的產生式
      6.1.3  消除λ-產生式
      6.1.4  消除單元產生式
    6.2  兩種重要的範式
      6.2.1  喬姆斯基範式
      6.2.2  格雷巴赫範式
    6.3  上下文無關文法的成員資格判定演算法*
  第7章  下推自動機
    7.1  非確定的下推自動機
      7.1.1  下推自動機的定義
      7.1.2  下推自動機接受的語言
    7.2  下推自動機和上下文無關語言
      7.2.1  上下文無關語言對應的下推自動機
      7.2.2  下推自動機對應的上下文無關文法
    7.3  確定的下推自動機和確定的上下文無關語言
    7.4  確定的上下文無關語言的文法*
  第8章  上下文無關語言的性質
    8.1  兩個泵引理
      8.1.1  上下文無關語言的泵引理
      8.1.2  線性語言的泵引理
    8.2  上下文無關語言的封閉性和判定演算法
      8.2.1  上下文無關語言的封閉性
      8.2.2  上下文無關語言的一些可判定性質
  第9章  圖靈機
    9.1  標準的圖靈機
      9.1.1  圖靈機的定義
      9.1.2  作為語言接受器的圖靈機
      9.1.3  作為轉換器的圖靈機
    9.2  完成複雜任務的組合圖靈機
    9.3  圖靈論題
  第10章  圖靈機的其他模型
    10.1  對圖靈機的小改動
      10.1.1  自動機類的等價性
      10.1.2  可駐停圖靈機
      10.1.3  半無窮帶圖靈機
      10.1.4  離線圖靈機
    10.2  具有更複雜存儲的圖靈機
      10.2.1  多帶圖靈機
      10.2.2  多維圖靈機
    10.3  非確定的圖靈機
    10.4  通用圖靈機
    10.5  線性界限自動機

  第11章  形式語言和自動機的層次結構
    11.1  遞歸語言和遞歸可枚舉語言
      11.1.1  非遞歸可枚舉語言
      11.1.2  一個非遞歸可枚舉的語言
      11.1.3  一個遞歸可枚舉但非遞歸的語言
    11.2  無限制文法
    11.3  上下文有關文法和語言
      11.3.1  上下文有關語言和線性界限自動機
      11.3.2  遞歸語言和上下文有關語言的關係
    11.4  喬姆斯基層次結構
  第12章  演算法計算的限制
    12.1  圖靈機無法解決的問題
      12.1.1  可計算性和可判定性
      12.1.2  圖靈機停機問題
      12.1.3  不可判定問題的歸約
    12.2  遞歸可枚舉語言的不可判定問題
    12.3  波斯特對應問題
    12.4  上下文無關語言的不可判定問題
    12.5  關於效率的問題
  第13章  其他計算模型
    13.1  遞歸函數
      13.1.1  原始遞歸函數
      13.1.2  阿克曼函數
      13.1.3  μ-遞歸函數
    13.2  波斯特系統
    13.3  重寫系統
      13.3.1  矩陣文法
      13.3.2  馬爾可夫演算法
      13.3.3  L-系統
  第14章  計算複雜性概述
    14.1  計算的效率
    14.2  圖靈機模型和複雜性
    14.3  語言族和複雜性類
    14.4  複雜性類P和NP
    14.5  幾個NP問題
    14.6  多項式時間歸約
    14.7  NP完全性和一個未解決的問題
應用部分
  第15章  編譯器和解析
    15.1  編譯器
    15.2  自頂向下和自底向上的解析
    15.3  FIRST函數
    15.4  FOLLOW函數
  第16章  LL解析
    16.1  上下文無關文法轉換為NPDA
      16.1.1  LL解析的下推自動機
      16.1.2  LL解析中將上下文無關文法轉換為NPDA的演算法
    16.2  LL(1)分析表
    16.3  LL(1)解析演算法
    16.4  LL(k)解析

  第17章  LR解析
    17.1  上下文無關文法轉換為NPDA
    17.2  項和閉包
    17.3  DFA建模LR解析棧
    17.4  LR(1)分析表
      17.4.1  LR(1)的解析動作
      17.4.2  LR(1)分析表演算法
    17.5  LR(1)解析演算法
    17.6  帶有λ-產生式的LR(1)解析
    17.7  LR(1)解析衝突
附錄A  有窮狀態轉換器
附錄B  實用工具JFLAP
練習題選解
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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