設(shè)某語(yǔ)言的for語(yǔ)句的形式為 fori:=E(1)toE(2)doS 其語(yǔ)義解釋為 (1)寫(xiě)出適合語(yǔ)法制導(dǎo)翻譯的產(chǎn)生式; (2)寫(xiě)出每個(gè)產(chǎn)生式對(duì)應(yīng)的語(yǔ)義動(dòng)作。
設(shè)文法G(S): (1)計(jì)算FIRSTVT和LASTVT; (2)構(gòu)造優(yōu)先關(guān)系表。
語(yǔ)句 (1)改寫(xiě)文法,使之適合語(yǔ)法制導(dǎo)翻譯; (2)寫(xiě)出改寫(xiě)后產(chǎn)生式的語(yǔ)義動(dòng)作。