掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
買過本商品的人還買了
形式語言與自動機-(第2版) 版權信息
- ISBN：9787563549979
- 條形碼：9787563549979 ; 978-7-5635-4997-9
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
形式語言與自動機-(第2版) 本書特色
楊娟、石川、王柏主編的《形式語言與自動機（第2版普通高等教育十二五規劃教材）》扼要地介紹了形式語言與自動機的基本體系，是學習計算機科學基礎的教材和參考書。書中主要介紹了形式語言的基本概念、自動機模型以及形式語言與自動機的等價性，包括右線性文法與有限自動機、上下文無關文法與下推自動機、圖靈機以及無限制文法等。同時也介紹了形式語言與自動機的主要理論成果和應用實例。
本書不追求過多形式化討論，強調基本概念的直觀背景和主要定理證明的思路分析。書中配有較多的例題和習題，可作為工科計算機專業本科生的教材和研究人員的參考書。
形式語言與自動機-(第2版) 內容簡介
本書扼要地介紹了形式語言與自動機的基本體系，是學習計算機科學基礎的教材和參考書。書中主要介紹了形式語言的基本概念、自動機模型以及形式語言與自動機的等價性，包括右線性文法與有限自動機、上下文無關文法與下推自動機、圖靈機以及無限制文法等。 同時也介紹了形式語言與自動機的主要理論成果和應用實例。本書不追求過多形式化討論，強調基本概念的直觀背景和主要定理證明的思路分析。書中配有較多的例題和習題，可作為工科計算機專業本科生的教材和研究人員的參考書。
形式語言與自動機-(第2版) 目錄
第1章 基礎知識1.1 集合與關系1.2 邏輯1.3 圖1.4 證明技術 1.4.1 演繹證明1.4.2 反證法1.4.3 歸納定義與歸納法1.5 典型例題解析習題
第2章 語言及文法2.1 語言的定義與運算 2.2 文法 2.3 文法的分類2.4 典型例題解析習題
第3章 有限自動機和右線性文法3.1 有限自動機3.1.1 有限狀態系統和有限自動機的概念3.1.2 有限自動機的形式定義3.1.3 設計有限自動機3.2 不確定的有限自動機3.3 DFA與NFA的等效3.4 有ε轉換的不確定的有限自動機3.5 正則集與正則式3.6 右線性文法和正則集3.7 正則表達式和有限自動機3.8 右線性語言與有限自動機3.9 右線性語言的性質3.9.1 確定的有限自動機的化簡 3.9.2 泵浦引理3.9.3 右線性語言的封閉性 3.9.4 判定問題3.10 雙向和有輸出的有限自動機3.10.1 雙向有限自動機3.10.2 有輸出的有限自動機3.11 正則表達式和有限自動機的應用3.11.1 UNIX中的正則表達式3.11.2 文本編輯程序3.11.3 詞法分析3.11.4 文本搜索與字符串匹配.3.11.5 單詞拼寫檢查3.12 典型例題解析
習題
第4章 上下文無關文法與下推自動機 4.1 推導樹與二義性4.2 上下文無關文法的變換4.3 Chomsky范式和Greibach范式 4.4 下推自動機4.5 上下文無關文法與下推自動機4.6 上下文無關語言的性質4.6.1 上下文無關語言的泵浦引理4.6.2 上下文無關語言的封閉性4.6.3 上下文無關語言的判定問題 4.6.4 上下文無關語言的二義性4.7 受限型上下文無關文法4.8 上下文無關文法的應用4.8.1 上下文無關文法在語法分析中的應用4.8.2 上下文無關文法變換的應用4.8.3 上下文無關文法的其他應用 4.9 典型例題解析習題
第5章 圖靈機5.1 基本圖靈機5.2 圖靈機的構造技術5.2.1 控制器的存儲5.2.2 多道機5.2.3 核對符5.2.4 移位5.2.5 子程序5.3 修改型圖靈機5.3.1 雙向無限帶圖靈機5.3.2 多帶圖靈機5.3.3 不確定的圖靈機5.3.4 二維圖靈機5.4 圖靈機與無限制文法5.5 線性有界自動機與上下文有關文法5.6 典型例題解析習題
第6章 翻譯6.1 翻譯式6.2 轉換器6.2.1 有限轉換器6.2.2 下推轉換器6.3 詞法分析6.4 句法分析6.4.1 自上而下解析6.4.2 自下而上解析習題
第7章 自動機理論在通信領域的應用 7.1 狀態機基本模型及其局限性 7.2 MSC和SDL簡介7.3 應用狀態機模型描述協議
附錄計算復雜性與可計算性基礎
參考文獻
展開全部
形式語言與自動機-(第2版) 作者簡介
楊娟,女，北京郵電大學副教授。自1998年留校任教以來，一直教授北郵計算機學院本科生《形式語言與自動機》和《離散數學》兩門專業基礎課程，教學工作量飽滿，教學效果良好。曾獲校教學觀摩評比一等獎，校“燭光獎”候選人提名。
書友推薦
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
巴金－再思錄
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
隨園食單
- >
我從未如此眷戀人間
- >
中國歷史的瞬間
- >
莉莉和章魚
- >
【精裝繪本】畫給孩子的中國神話
本類暢銷
