假設(shè)說(shuō)明是由下列文法產(chǎn)生的：

（a）建立一個(gè)翻譯模式，把每一個(gè)標(biāo)識(shí)符的類(lèi)型加入到符號(hào)表中。
（b）從（a）中的翻譯模式構(gòu)造一個(gè)預(yù)翻譯程序。

下面的文法產(chǎn)生的表達(dá)式是對(duì)整型和實(shí)型常數(shù)應(yīng)用算符+形成的。當(dāng)兩個(gè)整數(shù)相加時(shí)，結(jié)果仍為整數(shù)，否則就是實(shí)數(shù)。

（a）給出一個(gè)語(yǔ)法制導(dǎo)定義以確定每個(gè)子表達(dá)式的類(lèi)型。
（b）擴(kuò)充（a）中的語(yǔ)法制導(dǎo)定義把表達(dá)式翻譯成前綴形式，并且決定類(lèi)型。使用一元算符inttoreal把整型值轉(zhuǎn)換成相等的實(shí)型值，以使得前綴形式中的+的兩個(gè)操作對(duì)象是同類(lèi)型的。