問(wèn)答題

下面是表達(dá)式和賦值語(yǔ)句的文法,其中and的類(lèi)型是bool×bool→bool,+的類(lèi)型是int×int→int,=的類(lèi)型是int×int→bool,:=要求id和E的類(lèi)型都是int或者都是bool。為該文法寫(xiě)一個(gè)語(yǔ)法制導(dǎo)定義或翻譯方案,它完成類(lèi)型檢查。


您可能感興趣的試卷