問(wèn)答題

【簡(jiǎ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)型檢查。

答案:


題目列表

你可能感興趣的試題

問(wèn)答題

【簡(jiǎn)答題】證明文法E→E+id|id是SLR(1)文法。

答案: I0和I3都只有移進(jìn)項(xiàng)目,肯定不會(huì)引起沖突;I2和I<...
微信掃碼免費(fèi)搜題