2.4短語、直接短語和句柄短語

令G是一個文法，S是文法的開始符號，假定αβδ是文法G的一個句型，如果有則稱β是相對于非終結(jié)符A的,句型αβδ的短語。SαAδ*+且Aβ

2.4短語、直接短語和句柄則稱β是直接短語。

直接短語

SαAδ*且Aβ

令G是一個文法，S是文法的開始符號，假定αβδ是文法G的一個句型，如果有2.4短語、直接短語和句柄

注意：短語和直接短語的區(qū)別在于第二個條件,直接短語中的第二個條件表示有文法規(guī)則Aβ，因此，每個直接短語都是某規(guī)則右部。2.4短語、直接短語和句柄句柄

一個句型的最左直接短語稱為該句型的句柄。句柄特征：(1)它是直接短語，即某規(guī)則右部。(2)它具有最左性。2.4短語、直接短語和句柄

注意:短語、直接短語和句柄都是針對某一句型的，都是指句型中的哪些符號串能構(gòu)成短語和直接短語，離開具體的句型αβδ來談短語、直接短語和句柄是無意義的。2.4短語、直接短語和句柄例如設(shè)有文法G[S]=({S,A,B},{a,b},P,S)

其中P為：求句型baSb的全部短語、直接短語和句柄。SABAAa|bBBa|Sb2.4短語、直接短語和句柄對文法，首先建立該句型的推導(dǎo)過程：最左推導(dǎo):最右推導(dǎo):SABAAa|bBBa|SbSABASbbBSbbaSbSABbaBbaSbbBB

分析根據(jù)短語定義，可以從句型的推導(dǎo)過程中找出其全部短語、直接短語和句柄。句型baSb2.4短語、直接短語和句柄句型baSb中的子串Sb，是(相對于非終結(jié)符B)句型baSb的短語，且為直接短語。SABbBBbaBbaSb(2)SbaB*BSb

(1)SS*SbaSb

+句型本身是(相對于非終結(jié)符S)句型baSb的短語。根據(jù)最左推導(dǎo):SαAδ*+

Aβ

2.4短語、直接短語和句柄句型baSb中的子串a(chǎn)，是(相對于非終結(jié)符B)句型baSb的短語，且為直接短語、句柄。句型baSb中的子串ba，是(相對于非終結(jié)符A)句型baSb的短語。Ba(3)SbBSb*根據(jù)最右推導(dǎo):SABASbbBSbbaSb(4)SASb*Aba+SαAδ*+

Aβ

2.5語法樹與文法的二義性推導(dǎo)和語法樹

1.語法樹對句型的推導(dǎo)過程給出一種圖形表示,這種表示稱為語法樹，也稱推導(dǎo)樹。2.5.1推導(dǎo)和語法樹例如設(shè)有文法G[E]:構(gòu)造句型i*i+i的語法樹。首先給出句型的推導(dǎo)過程(最左推導(dǎo))：EE+T|E–T|TTT*F|T/F|FF(E)|iEE+TT+TT*F+TF*F+Ti*F+Ti*i+Ti*i+Fi*i+i2.5.1推導(dǎo)和語法樹根據(jù)推導(dǎo)過程構(gòu)造句型i*i+i的語法樹如下：EE+TEE+TT+TTT*F+TT*FF*F+TFi*F+Tii*i+Tii*i+FFi*i+ii2.5.1推導(dǎo)和語法樹由例可知，語法樹的構(gòu)造過程是從文法的開始符號出發(fā)，構(gòu)造一個推導(dǎo)的過程。因為文法的每一個句型(句子)都存在一個推導(dǎo)，所以文法的每個句型(句子)都存在一棵對應(yīng)的語法樹。EE+TE+FE+iT+iT*F+iT*i+iF*i+ii*i+i2.5.1推導(dǎo)和語法樹對句型i*i+i，還可給出最右推導(dǎo)：EE+TTT*FFiiFi2.5.1推導(dǎo)和語法樹 這也就是說，一棵語法樹表示了一個句型的種種可能的(但未必是所有的)不同推導(dǎo)過程,包括最左(最右)推導(dǎo)。3.討5.堤1牲推爬導(dǎo)和柿語法閉樹2.俊子超樹語法禁樹的魚子樹由是由凱某一謠結(jié)點糕連同淘所有黎分枝疼組成脾的部欲分。EE+TTT*FFiiFi3.始5.雪1濕推吵導(dǎo)和游語法讓樹3.于簡村單子循樹語法斯樹的吐簡單孝子樹條是指布只有苗單層押分枝伯的子賭樹。EE+TTT*FFiiFi2.槐5.鵲1蕉推啦導(dǎo)和趙語法構(gòu)樹句型橡的短條語、輛直接夏短語遼和句鞏柄的直觀具解釋是：短語疤：子樹的末腸端結(jié)李點形低成的符號抵串是相對山于子雪樹根癥的短塌語。直接賓短語訪：簡單僑子樹的末膚端結(jié)緣瑞點形卷成的符號聾串是相認(rèn)對于量簡單搞子樹巖根的賭直接披短語碗。句柄鄰：最左象簡單術(shù)子樹的末圓端結(jié)演點形羊成的符號蘋串是句免柄。2.寸5.滅1僑推世導(dǎo)和匹語法咳樹EE+TTT*FFiiFi短語嫌:i*判i+稍ii*串i第一招個i第二畫個i第三領(lǐng)個i三個i都是畢直接籠短語第一彼個i是句億柄注意似:i+數(shù)i不是仆句型堵的短洽語句子i*i+渴i2.京5.影1集推谷導(dǎo)和痰語法桑樹前例匠對穗文法G[技S]寸=(絲式{S燈,A掘,B仿},像{a心,b飾},蘋P,袖S)其中P為：可用急語法況樹非截常直中觀地倡求出積句型ba悲Sb的全掀部短相語，嫌直接善短語燥和句譽柄。SABAAa坡|袋b蝕BBa峰|環(huán)Sb2.歸5.袋1索推促導(dǎo)和鳳語法錘樹分析首先騾根據(jù)翠句型ba丸Sb的推基導(dǎo)過犬程畫挽出對應(yīng)的鄙語法猶樹如茅下：Sb為句閥型的孝相對測于B的短努語、直接政短語ba訊Sb為句壁型的英相對罵于S的短恭語ba為句寒型的駐相對稻于A的短宿語a句型梯的相化對于B的短牲語、直接蛋短語和句柄S符AB亞b菜BB挺b薯aB腰b灰aS枯bS棕AB栗A集Sb局b俱BS懂b葛ba仿SbSABbBSba由語趕法樹矩可知2.汗5.陸2攏文法遷的二刻義性從前豆面的卸討論顫可以叫看出準(zhǔn)，對場于文風(fēng)法G中任一瀉句型純的推閘導(dǎo)序爬列,閉我們飲總能蒸為它軍構(gòu)造一棵柄語法隨樹，森現(xiàn)在號我們倒提出奧一個車問題婆：文法曲的某袍個句介型是挽否只否對應(yīng)終唯一示的一院棵語法些樹呢饅？也就購是，赴它是監(jiān)否只軌有唯紛一的仔一個最興左(腰最右渣)推抹導(dǎo)呢鵝？2.駁5.堅2棉文法毀的二摘義性例如林設(shè)有議文法G[扇E]犯：句子i*i+出i有兩傅個不哪同的朽最左匯推導(dǎo)況，對寺應(yīng)兩跌棵不肝同的億語法巖樹。EE+攻E衫|若E*E甚|互(E忍)返|國i2.漫5.獄2寫文法餐的二萄義性最左摟推導(dǎo)齒1EE堡+E寨E*E+軋Ei*E+罰E油i*i+卸Ei*i+暖i最左啞推導(dǎo)哀2EE*E彼i*Ei*E+駐E芽i*i+諸Ei*i+功iEE*EE+EiiiEE+EE*Eiii2.蔬5.再2崖文法被的二屆義性如果農(nóng)一個雀文法戀存在擱某個補句子其對應(yīng)兩棵紅不同屆的語峽法樹多，則說半這個最文法探是二義縫性的?；蛘呷嵴f，蒸若一傍個文抵法中疏存在鉛某個醫(yī)句子屈，它澆有兩個品不同鋸的最泡左聾(最鐵右)眼推偵導(dǎo)，則這京個文漆法是二義蓄性的嫁。EE+蔬E買|藍(lán)E*E范|光(E盒)壓|現(xiàn)i2.靈5.舊3悲文法唐二義篩性的工消除1.喘不的改變李文法奪中原棟有的促語法綁規(guī)則皺,肚僅加進一皇些非形音式的語挽法規(guī)窩定。EE+EE*Eiii2.蒜5.慎3疼文法號二義鳴性的跟消除2.構(gòu)造修一個等價殃的無爆二義萄性文纏法。即把排弟除二征義性偷的規(guī)添則合并到原集有文艇法中里,改寫障原有坡的文追法。例如且，對辜于上況例文姨法G[租E]越，將運選算符吵的優(yōu)先兵順序稼和結(jié)舒合規(guī)車則：*優(yōu)先獎于＋脆;惜＋、*左結(jié)捆合加吳到原丘有文婚法中員,盼可構(gòu)悅造出玩無二走義性文貞法如綁下搞：2.采5.迎3宣文法糟二義頃性的逃消除則句漏子i*戲i+狗i只有慨唯一罷一棵團語法御樹：EE+撿T烈|廈TTT*F嚴(yán)|家FF(E)鏡|線iEE+TTT*FFiiFi2.返5.曲3美文法免二義啊性的枕消除例2女定耽義某珠程序援語言念條件越語句溪的文咱法G為:試證供明該柔文法舉是二鳴義性兵的并元消除蘆之。分析題該塔文法澤的句戶子if票b劑i車f鄭b純A刮e炎ls帶e腳A對應(yīng)直下面嚼兩棵嗎不同改的語評法樹效：Sif后b割S|if研b也S王el專se胸S|A鑰(其它粘語句只）2.狀5.寨3南文法笨二義度性的宰消除所以奔該文洋法是糖二義釋的。SifbSbSSifAelseASbSSifAelseAifbSSif套b壺S|if陶b救S燙el省se歪S|A句子if撫b烘i或f蓄b笨A枯e碰ls文e妨A2.普5.齒3桑文法刻二義焰性的譽消除消除介文法打的二見義性房誠可采襲用下誦面兩贈種方齡法：不改產(chǎn)變已蘆有規(guī)鋸則，僅加進絨一非壓形式喂的語輛法規(guī)定：el榆se與前握面最欺接近的不愿帶el使se的if相對蓬。SifbSbSSifAelseA文法G的句朝子if盈b舅i考f妹b適A勺e悟ls匹e怠A只對硬應(yīng)唯磚一的傻一棵嶄語法暫樹，消除脹了二拖義性冷。2.悉5.拒3情文法范二義德性的恩消除2.六改寫杰文法G為G'SS1|站S2S1if疑b書S1el節(jié)se響S1|商AS2if煉bS|if煤b信S1el村se峽S2G':Sif懇b賢S|if壇b集S某el噴se弓S|A幕(其它加語句久）G:2.適5.趁3即文法瓜二義諷性的啊消除這是鬼因為插通過分析，得肥知引私起二王義性牌的原恰因是賽:if—el遙se語句熔的if后可司以是if型，因此孤改寫濟文法請時規(guī)憐定:if—el及se之間墓只能偵是if—el籮se語句種或其浩他語逼句。2.顫5.稀3通文法靜二義鉆性的者消除SS1|路S2S1if翁b擁S1el售se繳S1|膛AS2if做bS|if掉b番S1el由se冷S2ifbSbifAelseASS2S1S1S1對改瘋寫后撿的文壟法，陜句子if展b翅i革f樂b解A見el掠se趁A只對嬸應(yīng)唯壇一的昆一棵栽語法比樹。通?？嘉覀冎徽f甲文法爺?shù)亩琢x性,技而不墻說語徑言的令二義首性,獻(xiàn)這駕是因悔為可燙能有張兩個瘡不同池的文辦法G和G'，而且渣其中吩一個嫌是二義霉性的次，另一勞個是無二總義性羨的,但卻扛有L(澤G)啦=L廁(G')仿,即這果兩個菜文法廚所產(chǎn)套生的語言倆是相捎同的哈。2.戚5.僑3怪文法蜘二義里性的票消除應(yīng)該弦指出賄的是檢文法賽的二你義性閥和語運言的羨二義山性是兩個亡不同躺的概庸念。2.緣瑞5.馳3甩文法醫(yī)二義打性的榮消除將一走個語巧言說靜成是等二義拼性的蒜，是指茄對它不存砍在無沸二義賊性的糧文法忙，這樣轎的語瞞言稱價為先隔天二桶義性銳的語柏言。例如L=語{覽aibjck|散i=益j或j=繩k且i,西j息,買k≥1綢}便是仗這種媽語言象。2.趕6聯(lián)文法傍和語愁言的博分類著名叫的語叮言學(xué)扮家喬姆重斯基(Ch陪om杯sk扮y)將文劉法和景語言禍分為煮四大悲類，閉即0蔽型、輝1型藝、早2任型、恒3型牲。劃盞分的剃依據(jù)尿是對造文法購中的快規(guī)則痰施加鼓不同譯的限歡制。2.屑6鐵文法讓和語帽言的置分類0型介文法討（無賠限制師文法杯）若文辟法G=晉(VN,VT,壟P,過S污)中的漲每條姜規(guī)則αβ是這燒樣一中種結(jié)肉構(gòu)：而且α中至嘉少含流一個嚴(yán)非終鍋結(jié)符無,掠則稱G是0型端文法。α(VN∪VT)+,β痰(VN∪VT)*0型濟文法猴描述該的語森言是窯0型鉗語言廉。0型震文法薯沒有掙加任升何限扁制條片件，犬又稱條為無限務(wù)制性吊文法蛇，相奪應(yīng)的夢語言父稱為無限齒制性語則言。0型鹿語言灘由圖緞靈機瓣識別莫。2.明6今文法獵和語繳言的倚分類例如捆，有諸0型皇文法G=賄(VN,VT,添P,旅S求)其中俘：VN={罪A,剛B,租S}液,陣VT={骨0,通1}其描寶述的哭0滿型執(zhí)語言脊為L0(G箏[S馳])鋪={業(yè)}P:前S0A粒B1B0BSA沉|駛0脈1A1SB稱1A0S0堵BST刮OP2.木6臥文法泄和語卷言的陣分類1型青文法豪（上客下文皇有關(guān)能文法侍）1型匆文法沒也稱啦為上羞下文揭有關(guān)冷文法責(zé)，撲相應(yīng)的語果言又盛稱為上下椒文有暢關(guān)語臂言。若文營法G=能(VN,VT,南P,籌S遺)中的園每一現(xiàn)條規(guī)盡則的形式話為αAβαμβ,其中摔：α,β滔(VN∪VT)*,AVN,則稱G是1型蓄文法。1型纏文法削描述裕的語踩言是慈1型搬語言皆。1型課語言礦由線贈性界冤限自伴動機蠢識別箭。μ(VN∪VT)+2.浪6艘文法姑和語徐言的路分類例如瞧，有策1型娃文法G=覽(VN,VT,土P,呆S胖)其中壺：VN={房誠S,大A,較B}豬,信VT={伍a,夜b,伙c}P:沈SaS咳AB論|此a牧bBBABA幫'BA'AA'AA'ABbAbbbBbccBcc其描燒述的月1型瀉語言臭為L1(G株[S綢])許={典anbncn|遷n≥1}2.傅6號文法艱和語義言的繞分類2型暴文法師（上嫁下文踩無關(guān)踩文法余）2型文燥法又頭稱上序下文著無關(guān)遣文法章，其臘產(chǎn)生親的語言科又稱哈為上下求文無插關(guān)的古語言。若文跳法G=捷(VN,VT,挖P,閉S朱)中的關(guān)每一瓣條規(guī)納則的形式?jīng)r為Aβ,其中肆：AVN,β警(VN∪VT)*則稱G是2型輕文法。2型企文法扛描述誼的語傲言是戴2型示語言嶼。2型柳語言駱由下糟推自預(yù)動機法識別都。例如查前面之描述元算術(shù)逼表達(dá)差式的曲文法G[添E]防:EE+摩E躲|錯E*E啄|燦(E樂)猾|僅i2.停6找文法啄和語歷言的倆分類其描伶述的騎語言海為L2(G不[S悟])句={哥x漆|忽x耐{a恥,蝕b}+且x中a和b的個便數(shù)相該同}例如俯，有批2型應(yīng)文法G=刪(VN,VT,懇P,紅S揪)其中管：VN={說S,輛A脾,進B}輪,惠VT={暑a,坑b犧}P=叛{渡SaB掩|拘b崇AAa嚷|若aS登|餐b征AABb務(wù)|嘉bS信|械a船BB粗}2.暗6阿文法息和語挪言的只分類2.象6深文法脂和語支言的夕分類3型汁文法供（正胳規(guī)文司法）右線魚性文連法和形左線芳性文懷法都字稱為痕3型兵文法斤。若文姥法G=娛(VN,VT,與P,免S姑)中的訂每一謀條規(guī)羨則的礎(chǔ)形式為Aa出B或Aa,其中不：A,月BVN,夸aVT*,則稱G是右線軍性文啟法。若文搜法G=扒(VN,VT,襯P,惱S僑)中的土每一揚條規(guī)專則的抱形式為AB缺a或Aa,其中煙：A,御BVN,寄aVT*,則稱G是左線拍性文就法。3型以文法獎描述猾的語欲言是假3型注語言娘。3型之語言絕由有院窮自駱動機納識別婆。3型恒文法摟也稱正規(guī)惱文法。正震規(guī)文度法產(chǎn)衡生的峽語言稱為正規(guī)胃語言。例如柱，用給左線燥性正圣規(guī)文切法和擺右線柏性正境規(guī)文禿法定招義標(biāo)精識符2.剝6窮文法州和語役言的被分類用I代表津標(biāo)識弟符;l代表鉤任意似一個奧字母暖;d代表供任意馳一個再數(shù)字祥;披則定賞義標(biāo)失識符羞的文襯法為政：左線頂性文造法:P:爽I→搬l貞|街I溉l廳|逼Id右線掠性文糧法:P:炭I→際l如|洽l慢TT→震l義|釘d菊|幼lT膛|墓dT例如鴉，用馬左線肌性正慈規(guī)文榨法和寄右線討性正敘規(guī)文教法定毅義無價符號蘇整數(shù)2.架6遍文法挑和語寇言的割分類用N代表販無符鐮號整哭數(shù);d代表夸任意泉一個至數(shù)字閃；則砌定義躲的無設(shè)符號刻整數(shù)草文法低為：左線勉性文菠法:P:駛N→楚N喘d付|道d右線把性文厚法:P:漆N→醉d孫N仆|敘d2.士6警文法碎和語張言的辛分類由上耐述四異類文河法的枝定義豈可知跟,冷從隱0型票文法蘭到3疾型文艷法,撫是挪逐漸蘇增加缺對規(guī)亞則的譯限制飽條件析而得燙到的躁，因腐此每一盡種正鴿規(guī)文懶法都具是上皆下文傭無關(guān)勞的文拼法，每一閑種上閱下文秧無關(guān)屈的文裝法都廊是上染下文齡有關(guān)揀的文幫法，幻玉而每護一種究上下短文有忘關(guān)的芽文法弱都是兼0型猴文法菠,擔(dān)而由鼠它們刺所定查義的改語言忍類是蘭依次凡縮小寬的，有L0L1L2L3。2.楊7送有關(guān)講文法瓦的實鈔用限夕制和銜變換文法些是用參來描津述程侄序設(shè)忘計語拾言的劃，在實際廈應(yīng)用治中需確要對健文法沸加一嬌些限督制條博件。1.斬文湖法中畢不能遲含有莊形如A絡(luò)→A的規(guī)望則。涌這種盞規(guī)則草我們而稱之茶為有害叛規(guī)則。對文場法的罷實用唇限制堵有以趙下兩缸點：2.腿7牲有關(guān)稍文法冠的實姜用限匙制和符變換2.以文資法中悲不能慌有多余咳規(guī)則。所濫謂多睬余規(guī)宋則是弦指文屬法中燒出現(xiàn)濾以下緒兩種欲規(guī)則漿：(1痛)預(yù)某條著規(guī)則Aα的左換部符農(nóng)號A不在所屬扇文法科的任館何其害他規(guī)看則右部出現(xiàn)資，即在推枯導(dǎo)文誼法的叼所有愉句子若中始慮終都修不可膛能用倦到的褲規(guī)則澆。(2敏)笛對文爆法中憤的某授個非共終結(jié)朋符A，無法際從它熔推出批任何紫終結(jié)陶符號嚇串來帽。2.察7核有關(guān)牛文法浩的實就用限以制和嘗變換例如識設(shè)有曲文法G[厚S]雀:P:汪SBdAAd搞|州dBCd蛛|墨A務(wù)eCCeDe刪除福多余林規(guī)則政后的擔(dān)文法芝變換患為:P:例SBdAAd融|未dBAe2.蓋7莊有關(guān)里文法渠的實疼用限帖制和構(gòu)變換若程田序設(shè)恭計語各言的文法刃含有逝多余應(yīng)規(guī)則，己其中必定溫有錯趣誤存臣在，因塔此檢肥查文乏法中族是否吵含有精多余絨規(guī)則許對我隨們來揮說是松很重膚要的返。作業(yè)P2列6畝2丘.1貿(mào)2.衡2（片2）2.沖3吩L這1，L2，L32.愿7續(xù)2旗.8性2.晨9皆2.錯11扁2.傳12本章泡重點脅介紹伍了語詢言的掩語法戀結(jié)構(gòu)功的形瞇式描述、叨語法把樹以伙及文瀉法的夸二義刃性,沉主沈要內(nèi)蘇容有辯：1.膛設(shè)規(guī)計一貪個文嫩法定勉義一冒個已坦知的曠語言(1澤)印文固法是勸一個座四元噸組G=個(VN,VT,窗P,繁S終)，文法脈四大監(jiān)要素逐中，亡關(guān)鍵餡是一縮慧組規(guī)腫則,宰它月定義假（或秘描述響）了蜂一個磚語言隔的結(jié)庫構(gòu)。從文嚷法定省義可咸知,相文拌法對念于程占序設(shè)綢計者終來說，致文法只給出次了語萄言的離精確砌定義則和描虜述。本章率小結(jié)本小滔結(jié)花藏時45分鐘20流04健/2葉/2酒8(2尼)斬分析帶已知半語言句子扶的結(jié)課構(gòu)特蜓征,林設(shè)計出相襲應(yīng)的出一組捕規(guī)則許，但膏不唯諷一。(4弓)欠若語疲言是無窮貌集合,遮設(shè)計傷該語刃言的癢文法一領(lǐng)定是遞歸罪的。本章運小結(jié)(3窗)相設(shè)計贈的文葵法必滾須能儀定義平已知炭的語仇言,不能錦超出舟或縮斗小所囑定義撥語言股的范游圍。分析根據(jù)救語言膛句子用的結(jié)陪構(gòu)特厭征，齡設(shè)計軍出相坦應(yīng)規(guī)蹈則例1就.炕給出美語言L2={削anbm|粗m≥埋n≥除1}的文戲法P2:偷S→鄙ABL2={誤ab稿,a貞bb鄭,a唯bb給b,毀…市aa綁bb餓,a眉ab插bb焦,a慚ab床bb園b,峽…嶺a膠aa遮bb吃b,艦a狀ab棵bb劣b，謎…}A→昌aA但b霉|葛abB→朗bB丸|蠟ε本章陳小結(jié)分析根據(jù)悅語言紐奉句子侵的結(jié)猾構(gòu)特愿征，戀設(shè)計刮出相偷應(yīng)治規(guī)則例2怒.藍(lán)給出趁語言L1={士a2n羨+1|n熟≥0先}的文招法P1':A→紹aB群|地aP1：A從→a濁Aa飼|憲a或L1={貓a,叛a代aa錫,悠aa乘aa姻a,須a界aa沖aa障aa晝,女a(chǎn)a成aa剛aa胖aa在a，棄…}B→贊aa鄉(xiāng)豐|其a捷Ba本章勢小結(jié)本章藥小結(jié)分析根據(jù)蛇語言賴句子島的結(jié)構(gòu)龍?zhí)卣?，設(shè)患計出遍相應(yīng)跑規(guī)則例3運.給出望語言L3={材anbmck|伐n,茫m,女k≥錯0}的文鎖法P3:暑A(yù)→薪aA懶|裝b蓋B禿|鋤cC州|廟εP3':扔A→努aA聚|下B或L3={鞭ε,跳a,笛aa駱,a狀aa約…,夫b,檔bb覺,b怕bb嶼…,爐c,相cc盈,c耗cc擠,萄…,ab則,a但bb餓,警…,熱bc驢,b包cc壟，…末}C→勇cC司|吐εB→寄bB柱|滿c今C棗|εC→劍cC跑|些εB→旬bB觀|眾C本章愧小結(jié)L4={無0頂,2蹄,4刷,6拼,8爭,1很0,糟12覽,1株4,黎16別,1餓8,乳20激,2彼2,竄24靠,2腹6,右…}例4.寫一氧個文法娃,使話其語嗎言是膝正偶該數(shù)的幕集合坊,每狹個偶賴數(shù)不晃以0蠶開頭鉆。P4:N→蟻E旨|棉AEN→械0前|被2從|化4朗|形6害|季8貿(mào)|B猾N或分析膠不以帝0開蹲頭的合偶數(shù)丑集合魄中串咽的結(jié)及構(gòu)特狂征:A→勤D扎|扎AD乒′E→氏0代|涼2剃|閣4漿|糕6狗|抹8D→困1明|刷2鬧|缸3兄|秤…|烘9D'→0羽|姑1蘭|店2名|主3豆|香…|驅(qū)9B→脂1飽|姐2蝦|孩3才|召…|危9給|遙B0P4':本章李小結(jié)A捆→桃0A旱1|罵εP:爭S馳→吊1彼S0酷|必0關(guān)A1驢|ε例5濫.賄給出餅語言L=復(fù){1n0m1m0n|冬n,率m≥延0}的文法芽。分析根據(jù)豪語言妥句子兵的結(jié)午構(gòu)特徑征,辛設(shè)熟計出相今應(yīng)規(guī)蟻則L=臨{ε篇,0童1,撲00紗11腰,…盾,1項0,丑11令00秒,…座,1砍01頂0,抵10芝01挨10扮,11拌01絕00抵,1易10砍01框10伍0…刪}本章輝小結(jié)P:番S濤→恒a禁|功0回S0流|1S展1例6似.給出億語言L=輸{W甘aWt|燥W∈{在0|鐘1}*,Wt表示W(wǎng)的逆辨的文莖法。分析根據(jù)香語言謊句子謎的結(jié)鹽構(gòu)特布征，沉設(shè)計出相鞠應(yīng)規(guī)擠則L=航{a厚,瀉0a拿0,近1溫a1挨,南01套a1寶0,把1續(xù)0a繞01湊,習(xí)00僵a0侄0,吃1互1a君11速,10銅1a掠10碗1,本1路10耀a0齒11胃,護10輸0a捏00露1,布…道}W=堪{ε快,0統(tǒng),樂1糖,0攝1,餡1捉0,測0趙0,銜1吳1,班1徐01醋,賀11謹(jǐn)0,鳴1校00秘,思11愚1,旁…低}本章召小結(jié)2.孤已燃知一槳個文聽法，假確定色該文廢法所歇定義擔(dān)的語言田。(2意)耐給定飛一個裕文法淚，可植根據(jù)狼語言堤和推福導(dǎo)定義推撈導(dǎo)出副文法艇的句美子，險從而吼確定團出該嶺文法所定即義的海語言甩。(1)文法所定義的語言

L(G[S])={x|Sx且x∈VT*}*本章役小結(jié)①自瘋?cè)徽Z頸言描血述。例如孫,L=脖{x增|x∈{a銹,b信}+且x中a,動b個數(shù)乳相同負(fù)}②式節(jié)子描事述。蜘例如L=踏{a2nbb稠|賓n父≥0鹽}。③正銜規(guī)式蠢描述避。(3懇)哨語言及可用本章誓小結(jié)例1疑文法G[妹A]胃=(較{A攔},變{a腎,b耀},甲{A望→b滿A振|旺a}軟,輩A)所生棄成的卷語言慶是什迷么？分析∵AbAbb倒Abb席bA…bnAbna∴L(譽G[置A]勸)=直{翻bna備|城n≥谷0騰}本章央小結(jié)例2央文臨法G[捕N]為:N責(zé)→N后D棵|恥DD堆→0顆|輔1斗|云2溪|倡3界|漁4辭|怨5鴿|釘6寶|瞞7谷|冬8污|脊9(1序)刪G[摸N]所生兇成的摔語言倘是什婆么？(2惱)給出描句子辜01束27配的最曉左、最右搖推導(dǎo)。本章瓦小結(jié)L(鉤G[育N]攀)=涌{α將|嫁α∈浸{0毫,1忍,2番,必…9鞭}+}={α勞|個α為可肌帶前耕導(dǎo)0板的正鑼整數(shù)異}={α欄|比α為數(shù)餓字串旺}最左求推導(dǎo)蠢:NNDN7ND萬7N2傲7ND堪27N1歷27D1汪2701兆27最右積推導(dǎo)晉:NNDND闊DND開DDDD軟DD0D衰DD01丘DD01栽2D01僻27N持→N復(fù)D插|撓DD邪→0瞧|郊1云|冬2另|旨3外|沈4披|套5吃|智6甘|執(zhí)7蓮|例8島|趟9本章合小結(jié)例3濤.辨已其知文蛾法G[計S]逝=(誘{區(qū)A,影B}守,{嚇a,漏b,繁c,泉d}仇,兄P,橡S頁),其中P為:分析∵SABaA引bBa2Ab2B…an-世1Abn-庫1BanbnBanbncB同danbnc2Bd2…anbncm-偵1Bdm-旗1anbncmdm∴終L(臘G[仇S]借)=秩{anbncmdm|昌n誰,m浸≥1升}該文逼法所生借成的藥語言慶是什巧么？A答→廣aA學(xué)b墊|基abB隙→疤cB商d史|誕cdS巴→袋AB本章荷小結(jié)3.蜻求倍句型辨的短藍(lán)語、步直接常短語霜和句辣柄(1毯)秀短語設(shè)、直棗接短劃語和媽句柄追是對廁某句型而眠言的占。(2辱)華短語荷總是肺句型召的某釣個子逼串，瘡它對立應(yīng)子樹野未端椒結(jié)點擾形成衣的符環(huán)號串孕。(3阻)口直接沾短語肆是某聽條規(guī)跌則右弓部，睬它對盟應(yīng)簡單泡子樹包未端棒結(jié)點殼形成墻的符暈號串蛛。(4持)訂最左更邊的拖直接昏短語泥是句啄柄。本章頭小結(jié)例1財已知茶文法G[非E]多：證明E+象T*F是它雞的一蓄個句敞型,指出柄這個埋句型秋的短膊語﹑側(cè)直接恰短語工和句英柄?！逧E+冠TE+嫂T*F短語轉(zhuǎn):E+篇T*F、T*F∴訪E+嫌T*F是它嶼的一姨個句顆型。畫出炊該句洪型的市語法址樹:句柄護:T*F直接孟短語忙:T*FETFT+E*E→圈E+馳T垃|是E-T升|矮TT→聰T*F繁|閥T/扮F逆|棍TT→刻(E虹)徹|忙i2.漫9相似本章漠小結(jié)例2已知中文法G[敘S]汽：試找繡出符押號串粘(a)和(A(兼(S卵aA檔)(冶b)斯))的短匙語﹑直接攝短語泳和句士柄(壓如果櫻有的眾話)孕。S→孝(A純S)鑼|愈(著b)A→肅(S名aA這)閱|首(a藥)∴符號疫串(a)膜)不是文法躁的句煌型，固因此它沒有短語擦﹑直火接短壓語和限句柄頂。分析∵S(AS)((a)S)(a))/2.份11本章紫小結(jié)∵S(A砍S)(A傭(A榆S)蘿)(A討(A康(b鋼))圾)(A桃((嶺Sa甘A)蓋(b標(biāo)))廳)∴符麥號串喜(A(撕(S刻aA逐