程序設(shè)計(jì)語(yǔ)言的語(yǔ)法描述(1)-資料下載頁(yè)
2025-01-06 18:29本頁(yè)面
【正文】 E)|i ? 根據(jù)上述文法 ， 可推導(dǎo)出任何僅包含加乘的算術(shù)表達(dá)式 。 上下文無(wú)關(guān)文法 ? ㈡ 基本術(shù)語(yǔ) ? ① 直接推出和直接歸約 ? ② 推導(dǎo)和歸約 ? ③ 句型 ? ④ 句子 ? ⑤ 語(yǔ)言 ? ⑥ 等價(jià)文法 ? ⑦ 最左推導(dǎo)和最右推導(dǎo) 上下文無(wú)關(guān)文法 ? ㈢ 文法的二義性 ? ① 語(yǔ)法樹(shù) ? 我們可以用一個(gè)有向圖表示一個(gè)句型的推導(dǎo) ，這種表示稱為語(yǔ)法樹(shù) 。 ? 在一般情況下 ， 某一句型不論其推導(dǎo)過(guò)程如何 ，其最終形成的語(yǔ)法樹(shù)是相同的 ， 故語(yǔ)法樹(shù)是不同推導(dǎo)過(guò)程的共性抽象 。 若僅進(jìn)行最左 （ 右 ）推導(dǎo) ， 則語(yǔ)法樹(shù)和最左 （ 右 ） 推導(dǎo)等價(jià) 。 上下文無(wú)關(guān)文法 ? ② 二義文法 ? 某些文法的句型的推導(dǎo)可能對(duì)應(yīng)一棵以上的語(yǔ)法樹(shù) ， 或存在一個(gè)以上的最左（ 右 ） 推導(dǎo) 。 上下文無(wú)關(guān)文法 ? 例：已知文法 G： E→ E+E|E*E|(E)|i和句子 i+i*i， 該句子存在二個(gè)最左 （ 右 ） 推導(dǎo) ，即二棵語(yǔ)法樹(shù) 。 上下文無(wú)關(guān)文法 ? 語(yǔ)法樹(shù) 1（ 先形成 +后形成 *） 上下文無(wú)關(guān)文法 ? 語(yǔ)法樹(shù) 2（ 先形成 *后形成 +） 上下文無(wú)關(guān)文法 ? 句子 i+i*i的二個(gè)最左推導(dǎo)序列： ? E E+E i+E i+E*E i+i*E i+i*i ? E E*E E+E*E i+E*E i+i*E i+i*i ? 句子 i+i*i的二個(gè)最右推導(dǎo)序列： ? E E+E E+E*E E+E*i E+i*i i+i*i ? E E*E E*i E+E*i E+i*i i+i*i 上下文無(wú)關(guān)文法 ? 二義文法：若一個(gè)文法所產(chǎn)生的語(yǔ)言中 ，只要存在一個(gè)句子 ， 它有二個(gè)最左推導(dǎo) ，或有二個(gè)最右推導(dǎo) ， 或句子的推導(dǎo)對(duì)應(yīng)兩棵語(yǔ)法樹(shù) ， 則稱該文法為二義文法 。 上下文無(wú)關(guān)文法 ? ③ 二義文法的利用和處理 ? l 根據(jù)條件修改文法 ， 語(yǔ)言不變 。 ? 根據(jù)條件修改編譯程序的某一部分，文法保持不變
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1