高级语言及其文法课件.pptVIP

變換的分析實質是從E開始依據產生式對所得串中的特定部分進行變換，不斷獲得新的串，最終得到目標E*E?依據產生式E→E+EE*E+EαAβ依據產生式A→γαγβ直接推導與歸約根據產生式對符號串進行變換的過程Ａ→γ是文法Ｇ的一個產生式，且α、β∈（ＶT∪ＶN）*，稱αＡβ的直接推導/派生(Derive)出αγβ，也稱αγβ直接歸約(Reduce)為αＡβ。記為αＡβ?αγβ例：id+E?id+E*E（多步）推導/歸約α0?α1?α2?…?αn記為α0?nαn(恰用n步)α0?+αn（至少一步）α0?*αn（若干步:零步或多步）E?5id*id+id推導/歸約回顧E?E+E （1）串中含有變數?id+E （4）串中含有變數?id+E*E （2）串中含有變數?id+id*E （4）串中含有變數?id+id*id （4）串中沒有變數到此串中已經沒有（語法）變數了，不能再推了——得到句子1E→E+E2E→E*E3E→(E)4E→id句型與句子E?E+E?E+E*EE?4id+id*E定義:如果S?*α，α∈(ＶT∪ＶN)*則稱α是G產生的一個句型(SententialForm)E?5id+id*id定義:如果S?*x，且x∈ＶT*，則稱x是G產生的一個句子(Sentence)文法G產生的語言定義： L(G)={x|S?*xandx∈VT*}文法E→E+E|E*E|(E)|id可以派生出多少個句子？文法G的作用——語言的有窮描述以有限的規則描述無限的語言現象有限:產生式集合、終結符集合、非終結符集合無限：可以導出無窮多個句子（注：L也可是有窮）id+id*id的不同推導E→E+E|E*E|(E)|idE?E+E?id+E?id+E*E?id+id*E?id+id*idE?E+E?E+E*E?E+E*id?E+id*id?id+id*idE?E*E?E+E*E?E+id*E?id+id*E?id+id*id不做限制句型(sententialForm)（歸約）E?*id+id*id施於最右變數右句型/規範句型 (canonical~)(最左/規範歸約)E?+id+id*id施於最左變數左句型(left-~)（最右歸約）E?5id+id*id最左推導與最右推導最左推導(Left-mostDerivation)每次推導都施加在句型的最左邊的語法變數上——與最右歸約對應最右推導(Right-mostDerivation)每次推導都施加在句型的最右邊的語法變數上——與最左歸約（規範規約）對應的規範(Canonical)句型短語(Phrase)Ｓ?*αＡβ?+αγβ？？就自然語言而言，γ在αγβ中什麼叫什麼？）如果Ｓ?*αＡβA?γ則稱γ是句型αγβ的相對於變數A的直接短語最左直接短語叫做句柄(Handle)如果Ｓ?*αＡβA?+γ，則稱γ是句型αγβ的相對於變數A的短語例：句型的短語與直接短語E?E+T?T+T?F+T?(E)+T?(E+T)+T?(E+T)+T?(T+T)+T?(F+T)+T?(a+T)+T?(a+T*F)+T?(a+F*F)+T?(a+b*F)+T?(a+b*c)+T?(a+b*c)+F?(a+b*c)+dE→E+T|TT→T*F|FF→(E)|id句型的句柄(Handle)——最左直接短語E→E+T|TT→T*F|FF→(E)|idE?E+T?T+T?F+T?(E)+T?(E+T)+T?(E+T)+T?(T+T)+T?(F+T)+T?(a+T)+T?(a+T*F)+T?(a+F*F)+T?(a+b*F)+T?(a+b*c)+T?(a+b*c)+F?(a+b*c)+d例2-2識別字的文法1S→L|LT T→L|N|TL|TN L→a|b|c|d letter N→0|1|2|3|4|5 digit?正整數的文法；正實數的文法2.４文法的分類(Chomsky體系)語言結構的複雜程度（