lalr(1)方法(編輯修改稿)
2024-09-01 22:58 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 | [ B→ ??, a ]?Cognate(S) B→ ?是產(chǎn)生式 j } ∪ {if 存在 [A→ ??a?, ?]?S then {Shift } } S是由 LR(0)項(xiàng)目組成的 LALR狀態(tài) 。 Cognate(S)則表示在 LR(1)狀態(tài)機(jī)中以 S為心的所有狀態(tài)的 LR(1)項(xiàng)目之集。 ?當(dāng)且僅當(dāng)對(duì)任一 LALR狀態(tài) S和 a?(VT∪ )都 有 |?3 (S,a)| ? 1， 稱(chēng)文法 G是 LALR(1)文法 。 LALR(1)分析表的構(gòu)造 Action表的構(gòu)造： ?Action(S, a)=Shift i， 若 ?3 (S,a)={Shift }且 a?， GoTo(S,a)=Si ?Action(S, a)=Reduce j ， 若 ?3 (S,a)={Reduce j} ?Action(S, )=Accept ， 若 ?3 (S,＃ )={shift } ?Action(S, a)=Error ， 若 ?3 (S,a)=? GoTo表的構(gòu)造： ? GoTo(S,a)=Si, 若存在 S*?States_Contain(S) Si*?States_Contain(Si)， 使得在 LR(1)狀態(tài)機(jī) 中有 S*到 Si*的 a輸出邊 。 ? 0型項(xiàng)目： 黑點(diǎn)在最前的項(xiàng)目；它們是別的項(xiàng)目 派生出來(lái)的 (增廣項(xiàng)目例
外語(yǔ)相關(guān)推薦
鄂ICP備17016276號(hào)-1