第2章高級語言及其語法描述-全文預(yù)覽
【正文】 是定義在某個(gè)字母表上的 句子的集合 。 這些語法成分統(tǒng)稱為單詞或單詞符號。 以自然語言為例，人們無法列出全部句子，但是人們可以給出一些規(guī)則，用這些規(guī)則來說明 (或者定義 )句子的組成結(jié)構(gòu)，比如漢語句子可以是由主語后隨謂語而成，構(gòu)成謂語的是動(dòng)詞和直接賓語。這些規(guī)則成為我們判別句子結(jié)構(gòu)合法與否的依據(jù)，換句話說，這些規(guī)則看成是一種元語言，用它描述漢語。 漢語 —— 所有符合漢語語法的句子的全體 英語 —— 所有符合英語語法的句子的全體 程序設(shè)計(jì)語言 —— 所有該語言的程序的全體 每個(gè)句子構(gòu)成的規(guī)律 研究語言 每個(gè)句子的含義 每個(gè)句子和使用者的關(guān)系 研究程序設(shè)計(jì)語言 每個(gè)程序構(gòu)成的規(guī)律 每個(gè)程序的含義 每個(gè)程序和使用者的關(guān)系 語言研究的三個(gè)方面 語法 Syntax 語義 Semantics 語用 Pragmatics 語法 —— 表示構(gòu)成語言句子的各個(gè)記號之間的組合規(guī)律。 語言的實(shí)例若在語法上是正確的 ， 其相關(guān)聯(lián)的意義可以從兩個(gè)觀點(diǎn)來看 ，其一是該句子的創(chuàng)立者所想要表示的意義 ， 另一是接收者所檢驗(yàn)到的意義 。形式語言抽象地定義為一個(gè)數(shù)學(xué)系統(tǒng)。 2 高級語言的分類 ? 強(qiáng)制式語言 (Imperative Language) / 過程式語言 FORTRAN , C, Pascal ? 應(yīng)用式語言 (Applicative Language) / 函數(shù)式語言 LISP ? 基于規(guī)則的語言 (Rulebased Language) Prolog ? 面向?qū)ο笳Z言 (Objectoriented Language) 形式語言基礎(chǔ) 一、 字母表和符號串 字母表 ：符號的非空有限集合 例： ?={a， b， c} 符號 ：字母表中的元素 例： a， b， c 符號串 ：符號的有窮序列 例： a, aa, ac, abc， .. 空符號串 ：無任何符號的符號串 (ε ) 符號串的形式定義 有字母表 ?，定義： （ 1） ε 是 ?上的符號串； （ 2）若 x是 ?上的符號串，且 a? ?，則 ax或 xa是 ?上的符號串； （ 3） y是 ?上的符號串， iff（當(dāng)且僅當(dāng)） y可由（ 1）和（ 2）產(chǎn)生。 例： x＝ STV ， |x|=3 例： A＝ {a,b},B={c,d}, AB= ？ 4. 符號串集合的乘積運(yùn)算 ：令 A、 B為符號串集合，定義 AB＝ { xy |x∈ A,y∈ B} {ac， ad， bc， bd} 因?yàn)?εx＝ xε＝ x，所以 {ε}A={ε}A=A ：若 x、 y是定義在 Σ 是上的符號串，且x＝ XY， y＝ YX，則 x和 y的聯(lián)接 xy＝ XYYX也是 Σ 上的符號串。 語言的句子是定義在 B上的符號串。 這是一個(gè)在語法、語義上都正確定句子，該句子的結(jié)構(gòu)（稱為語法結(jié)構(gòu)）是由它的語法決定的 。 句子 ::=主語 謂語 主語 ::=代詞 |名詞 代詞 ::=你 |我 |他 名詞 ::= 王民 |大學(xué)生 |工人 |英語 謂語 ::=動(dòng)詞 直接賓語 動(dòng)詞 ::=是 |學(xué)習(xí) 直接賓語 ::=代詞 |名詞 3. 由產(chǎn)生式 推導(dǎo) 句子 ：有了一組產(chǎn)生式之后，可以按照一定的 方式用它們?nèi)ネ茖?dǎo)或產(chǎn)生句子。 例：有一英語句子： The big elephant ate the peanut. 句子 ::=主語 謂語 主語 ::=冠詞 形容詞 名詞 冠詞 ::=the 形容詞 ::=big 名詞 ::=elephant 謂語 ::=動(dòng)詞 賓語 動(dòng)詞 ::=ate 賓語 ::=冠詞 名詞 名詞 ::=peanut 句子 = 主語 謂語 = 冠詞 形容詞 名詞 謂語 = the 形容詞 名詞 謂語 = the big 名詞 謂語 = the big elephant 謂語 = the big elephant 動(dòng)詞 賓語 = the big elephant ate 賓語 = the big elephant ate 冠詞 名詞 = the big elephant ate the 名詞 = the big elephant ate the peanut 句子 ::=主語 謂語 主語 ::=冠詞 形容詞 名詞 冠詞 ::=the 形容詞 ::=big 名詞 ::=elephant | peanut 謂語 ::=動(dòng)詞 賓語 動(dòng)詞 ::=ate 賓語 ::=冠詞 名詞 上述推導(dǎo)可寫成 句子 = the big elephant ate the peanut + 說明： (1) 有若干語法成分同時(shí)存在時(shí)，我們總是從最左的語法成 分進(jìn)行推導(dǎo)，這稱之為 最左推導(dǎo) ，類似的有 最右推導(dǎo) （一般推 導(dǎo)）。 句子 主語 謂語 冠詞 形容詞 名詞 動(dòng)詞 賓語 冠詞 名詞 The big elephant ate the peanut 語法成分（在形式 語言中又稱“非終 結(jié)符”） 單詞符號（在形 式語言中又稱 “終結(jié)符號” ) 文法和語言的形式定義 定義 1: 文法 G=（ VN， VT， P， Z） VN ：非終結(jié)符號集 VT ：終結(jié)符號集 P：產(chǎn)生式或規(guī)則的集合 Z：開始符號（識別符號）
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1