語(yǔ)法分析器的任務(wù)：
- 檢查輸入的token是否符合語(yǔ)法
- 為符合語(yǔ)法的語(yǔ)句建立抽象語(yǔ)法樹(shù)，輸出。
程序語(yǔ)言語(yǔ)法：
數(shù)學(xué)理論：上下文無(wú)關(guān)文法（CFG）
上下文無(wú)關(guān)文法是一個(gè)四元組（T,N,P,S） ,T：終結(jié)符集合，N：非終結(jié)符集合，P：產(chǎn)生式規(guī)則集合，S：唯一的開(kāi)始符號(hào)。
以下是我定義的語(yǔ)法
S->P
P->fm(M)B 函數(shù)語(yǔ)法
M->T V M; | ε 函數(shù)傳遞參數(shù)
T->num | bool | string 變量類型
V->id | id_num |id_bool 變量
B->IB | WB | ε 函數(shù)體
I->i(C){E;}e{E;} 條件語(yǔ)句
W->w(C){E} 循環(huán)語(yǔ)句
C->VQV 條件比較
Q->'>'|'<'|'>='|'<='|'==' 比較符號(hào)
E->V'='K 表達(dá)式
K->GG'
G'->'+'GG' | '-'GG' | ε
G->VA_
A_->*VA_ | '/'VA_ |ε
補(bǔ)充注釋：
{f：func，m：main，i：if，e：else，w：while，}
語(yǔ)法分析的方法：
- 自頂向下分析：
- 遞歸下降分析（預(yù)測(cè)分析算法）：
為每一個(gè)非終結(jié)符構(gòu)造一個(gè)分析函數(shù)，用前看符號(hào)指導(dǎo)產(chǎn)生式規(guī)則的選擇
- LL分析算法：
每次都通過(guò)查表完成分析過(guò)程
- 自底向上分析：
- LR分析算法：
表驅(qū)動(dòng)算法
語(yǔ)法制導(dǎo)翻譯：
基本思想：為每條合法的句子附加一條相應(yīng)的語(yǔ)義動(dòng)作，構(gòu)建出一個(gè)抽象語(yǔ)法樹(shù)。
