[政史地]第2節(jié)課第二章(已修改)
2024-10-26 07:21 本頁面
【正文】 編譯程序 的構(gòu)成 ? 編譯程序主要由八個部分構(gòu)成： 程序（ 掃描器 scanner） 程序（ 分析器 parser） 程序 程序 程序 程序 程序 程序 編譯程序 的 邏輯結(jié)構(gòu) 詞法分析程序 語法分析程序 語義分析程序 中間代碼生成 代碼優(yōu)化程序 目標代碼生成 信 息 表 管 理 程 序 錯 誤 檢 查 和 處 理 程 序 源 程 序 目 標 代 碼 編譯程序的組織 ? 需要注意的是，前面所說的各部分之間的關(guān)系，是指它們之間的 邏輯關(guān)系 ，而不一定是執(zhí)行時間上的先后順序。 ? 事實上，可按不同的執(zhí)行流程來組織上述各部分的工作，這在很大程度上依賴于編譯過程中對源程序掃描的遍數(shù) ，以及如何劃分各遍掃描所進行的工作。 ? 此處所說的? 遍 ? ,是指對源程序或其內(nèi)部表示從頭到尾掃視一次 ,并進行有關(guān)的加工處理工作。 ? 例如，對于要求經(jīng) 一遍掃描 就能完成從源程序到目標代碼翻譯的編譯程序，我們可 以語法分析程序為中心 來組織它的工作流程。 語法分析 程序 語義分析及 代碼生成程序 詞法分析 程序 整理目標程序 源程序 目標程序 停機 開始 圖 13 以語法分析程序為中心的編譯程序邏輯結(jié)構(gòu) ? 顯然，由于整個編譯程序只對源程序進行一次掃描，故 不必產(chǎn)生中間代碼 。 ? 對于某些程序語言，例如 PASCAL和 C，用一遍掃描的編譯程序去實現(xiàn)比較困難，宜于采用 多遍掃描 的編譯程序結(jié)構(gòu)。 本章內(nèi)容結(jié)束 第 2章 前后文無關(guān)文法和語言 ? 在 20世紀 50年代， 述問題進行了探討。他提出了一種用來描述語言的數(shù)學系統(tǒng)，并以此定義了四類性質(zhì)不同的語言，稱為 語言（文法）的 Chomsky分類 。 ? 人們把用一組數(shù)學符號和規(guī)則來描述語言的方式稱為 形式描述 ，把所用的數(shù)學符號和規(guī)則稱為 形式語言 。 ? 目前， 形式語言與自動機理論 已成為計算機科學中的一個重要分支。 文法及語言的表示 ? 首先，我們確定一個概念：什么是語言？據(jù)統(tǒng)計，目前在世界各地，人們所使用的語言達 2700多種。 ? Webster的定義：? 為相當大地區(qū)的公眾所懂得并使用的‘話’，以及組成這些‘話’的方法的統(tǒng)一體 ? 。 ? 上述定義對于建立語言的數(shù)學理論而言不夠精確。 ? 所以，有人又將語言定義為：? 某一字母表上符號串（句子）的集合 ? ? 此定義仍需精確化。因為： 1）還應為所定義的句子 提供一種結(jié)構(gòu)性的描述（ 語法規(guī)則 ） ； 2）最好能再提供一種手段，以便 能準確地判別什么是該語言中的正確句子（ 即識別方法、分析方法等 ） 。 ? 遺憾的是，對于自然語言來說，目前尚無能夠完全刻劃一語言全部句子的結(jié)構(gòu)的方法。 ? 然而，對大多數(shù)程序設計語言來說，此問題已被解決。 1960年， amp。 用 BNF（ BackusNaurFormal（范式））對ALGOL語言進行了描述。 ? 應指出， BNF成功地解決了程序設計語言的語法描述問題，但描述其語義，還必須借助自然語言。 ? 通常，可用如下方式表示或定義一種語言： （ 1）若語言的句子有限時，可用 枚舉法 。 例如，只含兩個句子的語言： { “I am a teacher”, “You are students” }。 （ 2）制定 有限條規(guī)則 ，用于產(chǎn)生所要描述的語言的全部句子 (可無限多 )，這些規(guī)則構(gòu)成了該語言的 文法 。 例如，文法 G1[〈 標識符 〉 ] ： 〈 標識符 〉 → 〈 字母 〉 |〈 標識符 〉〈 字母 〉 |〈 標識符 〉〈 數(shù)字 〉 〈 字母 〉 → a
教學課件相關(guān)推薦
鄂ICP備17016276號-1