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