最右推導(most right derivation)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:最右推導
- 外文名:most right derivation
- 所屬學科:計算機科學技術
- 公布時間:2018年
定義,出處,
定義
在推導的任何一步都是對句型中最右非終極符進行替換的推導過程。
出處
《計算機科學技術名詞 》第三版。
最右推導(most right derivation)是2018年公布的計算機科學技術名詞。
最右推導(most right derivation)是2018年公布的計算機科學技術名詞。定義在推導的任何一步都是對句型中最右非終極符進行替換的推導過程。出處《計算機科學技術名詞 》第三版。1...
其中,xUy,xuy表示這個推導序列中的任一步直接推導,若總有x∈V*T,則此推導序列為最左推導;而總有y∈V*T時則為最右推導。通常,我們把能由最左 (右)推導推出的句型稱為左 (右)句型。另外,也常把最右推導稱為規範推導,...
最右派生 最右派生(right most derivation)是2011年公布的語言學名詞。定義 利用形式文法推導句子時,總是選擇規則最右部的非終極符號進行擴展的推導方法。出處 《語言學名詞》第一版。
推導的逆過程稱為規約。規約就是選擇一個文法規則:X→ABC,依次從棧頂彈出C、B、A,再將X壓進棧。規範規約是文法中句子的一個最右推導的逆過程,而最左推導對應的是最右規約。另外在程式設計中的規約:∏和∏'是兩個判定性問題,...
規範歸約 規範歸約:是最右推導的逆過程,它總是歸約一個句型當前句柄。也叫做最左歸約。