幫助中心 | 我的帳號 | 關於我們

形式語言與自動機(中文版電腦科學與技術學科研究生系列教材)/電腦科學與技術學科前沿叢書

  • 作者:編者:朱保平//李千目
  • 出版社:清華大學
  • ISBN:9787302399759
  • 出版日期:2015/08/01
  • 裝幀:平裝
  • 頁數:151
人民幣:RMB 25 元      售價:NT$ 112.5
放入購物車
加入收藏夾

內容大鋼
    朱保平、李千目編著的《形式語言與自動機(中文版電腦科學與技術學科研究生系列教材)/電腦科學與技術學科前沿叢書》介紹了形式語言和自動機的基本理論和基本方法,主要內容包括計算理論基礎、文法和語言、上下文無關文法及其語言、有窮狀態自動機、正則語言與正則文法、正則語言的性質、下推自動機與上下文無關文法、上下文無關語言的性質、圖靈機、圖靈機的其他模型和其他計算模型等內容。
    本書可作為高等院校電腦科學與技術及相關專業的教材,也可作為教師、研究生或軟體技術人員的參考書。

作者介紹
編者:朱保平//李千目

目錄
第l章  計算理論基礎
  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.2.4  遞歸定義與歸納證明
  1.3  圖與樹
    1.3.1  無向圖
    1.3.2  有向圖
    1.3.3  樹
    1.3.4  二叉樹
  1.4  三個重要概念
  習題
第2章  文法與語言
  2.1  啟示
  2.2  文法的形式定義
  2.3  文法的構造
  2.4  文法的Chomsky體系
  習題
第3章  上下文無關文法及其語言
  3.1  上下文無關文法
    3.1.1  派生與派生樹
    3.1.2  文法的二義性
  3.2  文法和語言的討論
  3.3  句法分析
    3.3.1  最左派生和不確定性
    3.3.2  文法圖
    3.3.3  廣度優先自頂向下句法分析
    3.3.4  深度優先自頂向下分析
    3.3.5  自底向上分析
  3.4  上下文無關文法的化簡
    3.4.1  無用符號
    3.4.2  消除e產生式
    3.4.3  消除單一產生式
    3.4.4  消除左遞歸
  3.5  Chomsky範式
  3.6  Gre.bach範式
  習題
第4章  有窮狀態自動機
  4.1  語言的識別
  4.2  有窮狀態自動機的形式定義
  4.3  確定的有窮自動機
  4.4  狀態轉換圖
  4.5  不確定的有窮自動機
  4.6  NFA與DFA的等價

  4.7  帶空轉移的NFA
  4.8  ?一NFA的確定化
  4.9  DFA最小化
  習題
第5章  正則語言和正則文法
  5.1  正則表達式
    5.1.1  正則表達式的定義
    5.1.2  正則語言
  5.2  有窮自動機和正則語言
    5.2.1  正則表達式到有窮自動機
    5.2.2  有窮自動機到正則表達式
  5.3  正則文法和有窮自動機
    5.3.1  正則文法
    5.3.2  正則文法與NFA
  習題
第6章  正則語言的性質
  6.1  正則語言的封閉性
    6.1.1  簡單運算的封閉性
    6.1.2  其他運算的封閉性
  6.2  非正則語言的識別
    6.2.1  鴿巢原理
    6.2.2  泵引理
  6.3  Myh.1  lNerode定理
  6.4  正則語言的判定演算法
  習題
第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.2  上下文無關語言的封閉性
  8.3  上下文無關語言的可判定性
  習題
第9章  圖靈機
  9.1  標準圖靈機
    9.1.1  圖靈機的形式定義
    9.1.2  圖靈機識別器
    9.1.3  圖靈機轉換器
  9.2  完成複雜任務的圖靈機
  習題
第10章  圖靈機的其他模型
  10.1  帶不動選擇圖靈機
  10.2  多道圖靈機

  10.3  單向無窮帶圖靈機
  10.4  離線圖靈機
  10.5  多帶圖靈機
  10.6  多頭圖靈機
  10.7  非確定型圖靈機
  10.8  線性界限自動機
  習題
第11章  其他計算模型
  11.1  遞歸函數
    11.1.1  遞歸函數
    11.1.2  遞歸函數的擴展理解
  11.2  波斯特系統
  11.3  重寫系統
    11.3.1  矩陣文法
    11.3.2  馬爾可夫演算法
  習題
參考文獻

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