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

同類熱銷排行榜

最近瀏覽的商品

形式語言與編譯(普通高等教育電腦類專業十四五系列教材)

  • 作者：編者:趙銀亮|責編:賀峰濤
  • 出版社：西安交大
  • ISBN：9787569326536
  • 出版日期：2025/02/01
  • 裝幀：平裝
  • 頁數：370
人民幣：RMB 59 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書基於作者多年教學實踐與探索所積累的教學心得與素材編著而成，旨在培養兼具程序設計語言工程開發能力和形式語言理論知識及相關應用拓展能力的電腦領域拔尖人才。
    第1?3、5、7章介紹Ⅱ、Ⅲ型形式語言理論，闡述統一視覺下的語言識別器、判定性質及等價性質。第4、6、8章介紹詞法、語法分析，闡述語言識別器的可分解、可組合、可轉換原理。第9、10章包含屬性文法、符號表、中間語言和SLR（1）引導的語義分析方法，闡述形式與內涵一致的、可符號化的語義分析原理。第11章介紹運行時環境和可執行代碼的設計原理，闡述最基本的目標代碼框架及其構建方法。
    本書可作為電腦類專業本科生編譯原理課程的教材和教學參考書。
作者介紹
編者:趙銀亮|責編:賀峰濤
目錄
第1章  緒論
  1.1  認識編譯
  1.2  圖靈機與馮·諾依曼結構
  1.3  編譯程序
  1.4  編譯過程
  1.5  形式語言概論
    1.5.1  有限自動機
    1.5.2  形式文法
  1.6  中心概念及系統
    1.6.1  中心概念
    1.6.2  主文法與主符號系統
  習題
第2章  有限自動機
  2.1  一個簡單購物系統的DFA模型
  2.2  確定有限自動機
    2.2.1  DFA的定義及表示
    2.2.2  DFA的判定性質
    2.2.3  DFA的語言
  2.3  非確定有限自動機
    2.3.1  NFA的定義及表示
    2.3.2  NFA的擴展轉移函數
    2.3.3  NFA的語言
    2.3.4  NFA的等價性質
  2.4  帶ε轉移的有限自動機
    2.4.1  ε-NFA的定義
    2.4.2  狀態的ε閉包
    2.4.3  ε-NFA的擴展轉移函數
    2.4.4  消除ε轉移
  習題
第3章  正則表達式與正則語言
  3.1  正則表達式的構成
    3.1.1  構造正則語言
    3.1.2  構造正則表達式
    3.1.3  正則表達式的判定性質
  3.2  正則表達式的等價性質
    3.2.1  將DFA轉換為正則表達式
    3.2.2  將NFA轉換為正則表達式
    3.2.3  將正則表達式轉換為有限自動機
  3.3  正則表達式的應用
  3.4  正則語言的性質
    3.4.1  正則語言的泵引理
    3.4.2  正則語言的封閉性
    3.4.3  正則語言的判定性
  3.5  DFA的等價性質
  習題
第4章  詞法分析
  4.1  源程序文本及其預處理
  4.2  詞法分析原理
    4.2.1  詞法單元的定義
    4.2.2  詞法單元的表示

    4.2.3  σ-DFA判定框
  4.3  構建多語言聯合DFA
  4.4  詞法分析框架
  4.5  詞法分析器設計
    4.5.1  基於硬編碼的詞法分析器
    4.5.2  基於轉移矩陣的詞法分析器
  4.6  詞法分析器自動生成
    4.6.1  詞法分析器生成原理
    4.6.2  一個典型的詞法分析器生成器Lex
  習題
第5章  上下文無關語言
  5.1  上下文無關文法
    5.1.1  文法如何定義語言
    5.1.2  上下文無關文法的概念
    5.1.3  上下文無關文法的定義及表示
  5.2  上下文無關語言的判定性質
    5.2.1  推導與歸約
    5.2.2  最左推導與最右推導
    5.2.3  上下文無關文法的語言
    5.2.4  句型與句子
  5.3  語法分析樹
    5.3.1  語法樹的概念
    5.3.2  語法樹、推導和歸約的等價性
  5.4  文法的二義性
    5.4.1  二義性文法
    5.4.2  產生二義性的原因
    5.4.3  消除文法的二義性
  5.5  上下文無關文法的化簡
    5.5.1  有用與無用的文法符號
    5.5.2  去除ε產生式
    5.5.3  去除單位產生式
  習題
第6章  自上而下語法分析
  6.1  最左推導的非確定性
  6.2  LL(1)分析方法
    6.2.1  修剪文法去除左遞歸產生式
    6.2.2  無回溯的分析步驟
    6.2.3  計算首符集和FOLLOW集
    6.2.4  LL(1)分析框架
  6.3  分析程序的構造
    6.3.1  遞歸下降分析程序
    6.3.2  預測分析程序與預測分析表
  習題
第7章  下推自動機
  7.1  下推自動機的概念
    7.1.1  下推自動機的定義
    7.1.2  PDA的瞬時描述
  7.2  PDA的語言
    7.2.1  以接受狀態方式接受的PDA
    7.2.2  以空棧方式接受的PDA

    7.2.3  兩種接受方式的等價性
  7.3  PDA與CFG的等價性
    7.3.1  由CFG構造等價的PDA
    7.3.2  由PDA構造等價的CFG
  7.4  確定型PDA
  習題
第8章  自下而上語法分析
  8.1  自下而上語法分析面臨的問題
  8.2  確定化歸約
    8.2.1  歸約的不確定性
    8.2.2  最左歸約的不確定性
    8.2.3  規範歸約
  8.3  規範歸約模擬器
  8.4  LR分析框架
  8.5  LR分析框架的程序實現
  習題
第9章  語義分析
  9.1  語義分析的任務
  9.2  符號表
    9.2.1  Lisp的表結構與表處理
    9.2.2  符號表的組成及操作
  9.3  屬性文法
    9.3.1  一個屬性文法示例
    9.3.2  屬性文法的定義
    9.3.3  屬性求值
  9.4  語法制導的屬性求值
    9.4.1  LL制導的屬性求值
    9.4.2  LR制導的屬性求值
  9.5  程序聲明的語義分析
    9.5.1  類型表達式與變數聲明
    9.5.2  數組聲明
    9.5.3  函數聲明
  9.6  作用域檢查
    9.6.1  函數作用域
    9.6.2  可見性規則
    9.6.3  基於函數符號表的作用域檢查
  9.7  類型檢查
    9.7.1  類型系統的基本概念
    9.7.2  類型等價性、兼容性與類型轉換
    9.7.3  類型檢查的形式化描述
  習題
第10章  中間代碼生成
  10.1  中間語言
    10.1.1  三地址語言
    10.1.2  三地址指令實現為四元式指令
    10.1.3  后綴式
    10.1.4  抽象語法樹及DAG
    10.1.5  其他中間語言
  10.2  賦值語句的中間代碼生成
    10.2.1  簡單變數算術表達式賦值語句

    10.2.2  簡單變數賦值語句的四元式代碼生成
    10.2.3  下標變數算術表達式賦值語句
    10.2.4  賦值語句的四元式代碼生成
  10.3  布爾表達式與控制語句的中間代碼生成
    10.3.1  布爾表達式
    10.3.2  控制語句的三地址代碼生成
    10.3.3  控制語句的四元式代碼生成
  10.4  函數調用語句
  習題
第11章  運行時環境
  11.1  程序運行期間的存儲組織
  11.2  運行時的函數活動
  11.3  構建活動記錄
    11.3.1  棧格式
    11.3.2  訪問棧幀單元
    11.3.3  指令模板
  11.4  構建函數的可執行代碼雛形
    11.4.1  調用序列與返回序列
    11.4.2  轉換g@code中的名字引用指令為訪問棧幀單元指令
  11.5  參數傳遞機制與函數代碼實現
    11.5.1  數組作為參數的處理
    11.5.2  函數作為參數的處理
  11.6  訪問鏈構建及非局部名引用
  11.7  運行時系統的堆式存儲分配
  習題
參考文獻
附錄A 主文法
附錄B 主符號系統
  B.1  符號使用慣例
  B.2  形式語言場景
  B.3  詞法、語法與語義分析
  B.4  Lisp表及表處理
  B.5  符號表的表示與處理
  B.6  屬性表
  B.7  全局符號名

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