问答题

下面是表达式和赋值语句的文法,其中and的类型是bool×bool→bool,+的类型是int×int→int,=的类型是int×int→bool,:=要求id和E的类型都是int或者都是bool。为该文法写一个语法制导定义或翻译方案,它完成类型检查。


您可能感兴趣的试卷

你可能感兴趣的试题