[政史地]第2節(jié)課第二章-閱讀頁(yè)
2024-10-29 07:21本頁(yè)面
【正文】 ⑧ 動(dòng)詞 ::=has ⑨ 冠詞 ::= the ⑩ 冠詞 ::= a ? 現(xiàn)在討論如何用上述規(guī)則 推導(dǎo) 出相應(yīng)語(yǔ)言的全部 句子 。 ? 每次替換稱為一步（ 直接 ） 推導(dǎo) ，并用符號(hào)? ??表示。故前面的推導(dǎo)稱為 長(zhǎng)度為 8的推導(dǎo) 。 ? 為簡(jiǎn)明起見，我們可以將它們寫在同一個(gè)左部語(yǔ)法范疇下，將其定義值用符號(hào) ? |” (讀作‘ 或 ’ )隔開。 ? 應(yīng)指出，所產(chǎn)生的句子中，有些句子的含義是荒謬 的（如 the banana eat a monkey 和 the banana eat the banana 等 ）。 為得到文法的嚴(yán)格定義，對(duì)前面的規(guī)則進(jìn) 行如下的概括： ? 含有一系列需要定義的語(yǔ)法范疇，通常我們把它們的名字稱為 非終結(jié)符號(hào) 。對(duì)于上例，我們有： VN = {〈 句子 〉 ,〈 主語(yǔ)短語(yǔ) 〉 ,〈 動(dòng)詞短語(yǔ) 〉 , 〈 賓語(yǔ)短語(yǔ) 〉 ,〈 名詞 〉 ,〈 動(dòng)詞 〉 ,〈 冠詞 〉 } ? 含有若干個(gè)基本符號(hào)，由于這些基本符號(hào)不需要進(jìn)一步定義，故通常將它們稱為 終結(jié)符號(hào) 。對(duì)于上例有： VT = { monkey, banana, eat, has, the, a } ? ???????TNTNNTNTNVVVVVVSPVVSPVVSGSG??且詞匯表字匯表稱為法的開始符號(hào)。其中是一四元組一文法定義),(。另外，在不強(qiáng)調(diào)開始符號(hào) S 時(shí)，可將文法 G[S] 簡(jiǎn)記為 G 。且其中和可分別寫成當(dāng)且僅當(dāng)，直接產(chǎn)生或的直接推導(dǎo)是稱是一文法設(shè)定義,)(,][22**當(dāng)然，上述定義中的 ?、 ?、 ?都可以是空串 ?。0),1(1,)2(,)1(),(,0*01010nnnnnnnnVVG????????????????????????????????的推導(dǎo)記為長(zhǎng)度通常的推導(dǎo)。產(chǎn)生的句子是則稱特別地，當(dāng)句型的一個(gè)句型。產(chǎn)生的句子是則稱特別地，當(dāng)句型的一個(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])是由有限的句子組成的。 例 ： G[A]: A→Bb B→a 例 ： G[S]: S→aB|Bb B→a|b }{])[( abAGL ?},{])[( bbabaaSGL ?例 ： G[S]: S → 0 S1 | 01 S,01,0S1,0011,00S11,000111,000S111,… ,是句 型，其中 01， 0011， 000111,…, 是句子，故 例 ： 設(shè) ?={a,b}, 則 ?+ 字符串集的 BNF表示 如下： G[A]: A → a | b | Aa | Ab }110{])[( ?? nSGL nn所謂 遞歸定義 ， 是 指在定義一個(gè)語(yǔ)法成分時(shí)，直接或間接地使用了 該 語(yǔ)法成分自身 。 則稱為遞歸文法。右左為遞歸的，稱右左是則稱且若存在推導(dǎo)是直接遞歸的則稱產(chǎn)生式的形式具有若為文法設(shè)定義,)/()/()/(,。 一文法可唯一地確定一語(yǔ)言，但對(duì)一語(yǔ)言而 言，產(chǎn)生它的文法不止一個(gè)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1