[政史地]第2節(jié)課第二章-wenkub.com
2024-10-11 07:21 本頁(yè)面
【正文】 一文法可唯一地確定一語(yǔ)言，但對(duì)一語(yǔ)言而 言，產(chǎn)生它的文法不止一個(gè) 。 則稱為遞歸文法。稱為則是文法設(shè)定義TTTGVGLVGLGVwwSwGLSG)(,)(},|{)(,][***????例 ： G[A]: A → Bb B → a 例 ： G[S]: S → aB | Bb B → a | b }{])[( abAGL ?},{])[( bbabaaSGL ? 我們看到， L(G[A])和 L(G[S])是由有限的句子組成的。產(chǎn)生的句子是則稱特別地，當(dāng)句型的一個(gè)句型。0),1(1,)2(,)1(),(,0*01010nnnnnnnnVVG????????????????????????????????的推導(dǎo)記為長(zhǎng)度通常的推導(dǎo)。另外，在不強(qiáng)調(diào)開始符號(hào) S 時(shí)，可將文法 G[S] 簡(jiǎn)記為 G 。對(duì)于上例有： VT = { monkey, banana, eat, has, the, a } ? ???????TNTNNTNTNVVVVVVSPVVSPVVSGSG??且詞匯表字匯表稱為法的開始符號(hào)。 為得到文法的嚴(yán)格定義，對(duì)前面的規(guī)則進(jìn) 行如下的概括： ? 含有一系列需要定義的語(yǔ)法范疇，通常我們把它們的名字稱為 非終結(jié)符號(hào) 。 ? 為簡(jiǎn)明起見，我們可以將它們寫在同一個(gè)左部語(yǔ)法范疇下，將其定義值用符號(hào) ? |” (讀作‘ 或 ’ )隔開。 ? 每次替換稱為一步（ 直接 ） 推導(dǎo) ，并用符號(hào)? ??表示。 ? ? ::=” 是用于定義語(yǔ)法結(jié)構(gòu)的符號(hào)，其含義（并讀作）? 定義為 ?。 ? 產(chǎn)生語(yǔ)言 指制定出有限條規(guī)則，借助它們就能產(chǎn)生出某些語(yǔ)言的句子。 符號(hào)串的連接和方冪 連接 設(shè) x , y是符號(hào)串，將 y直接拼接到 x之后所得的新符號(hào)串稱為 x與 y的連接，記為 xy 。記為： |aba|=3 空串 不含任何符號(hào)的符號(hào)串，記為 ? 。 c a b b c a a S A B F 文法和語(yǔ)言的定義 基本概念和術(shù)語(yǔ) 字母表（符號(hào)表、符號(hào)集） 由若干元素（符 號(hào)、字母）所組成的有限非空集合。 例如，只含兩個(gè)句子的語(yǔ)言： { “I am a teacher”, “You are students” }。 1960年， amp。 ? 所以，有人又將語(yǔ)言定義為：? 某一字母表上符號(hào)串（句子）的集合 ? ? 此定義仍需精確化。 ? 目前， 形式語(yǔ)言與自動(dòng)機(jī)理論 已成為計(jì)算機(jī)科學(xué)中的一個(gè)重要分支。 ? 對(duì)于某些程序語(yǔ)言，例如 PASCAL和 C，用一遍掃描的編譯程序去實(shí)現(xiàn)比較困難，宜于采用 多遍掃描 的編譯程序結(jié)構(gòu)。 ? 事實(shí)上，可按不同的執(zhí)行流程來(lái)組織上述各部分的工作，這在很大程度上依賴于編譯過程中對(duì)源程序掃描的遍數(shù) ，以及如何劃分各遍掃描所進(jìn)行的工作。 ? 此處所說(shuō)的? 遍 ? ,是指對(duì)源程序或其內(nèi)部表示從頭到尾掃視一次 ,并進(jìn)行有關(guān)的加工處理工作。 本章內(nèi)容結(jié)束 第 2章 前后文無(wú)關(guān)文法和語(yǔ)言 ? 在 20世紀(jì) 50年代， 述問題進(jìn)行了探討。 文法及語(yǔ)言的表示 ? 首先，我們確定一個(gè)概念：什么是語(yǔ)言？據(jù)統(tǒng)計(jì)，目前在世界各地，人們所使用的語(yǔ)言達(dá) 2700多種。因?yàn)椋? 1）還應(yīng)為所定義的句子 提供一種結(jié)構(gòu)性的描述（ 語(yǔ)法規(guī)則 ） ； 2）最好能再提供一種手段，以便 能準(zhǔn)確地判別什么是該語(yǔ)言中的正確句子（ 即識(shí)別方法、分析方法等 ） 。 用 BNF（ BackusNaurFormal（范式））對(duì)ALGOL語(yǔ)言進(jìn)行了描述。 （ 2）制定 有限條規(guī)則
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1