问答题
下面是表达式和赋值语句的文法，其中and的类型是bool×bool→bool，+的类型是int×int→int，=的类型是int×int→bool，：=要求id和E的类型都是int或者都是bool。为该文法写一个语法制导定义或翻译方案，它完成类型检查。
问答题 证明文法E→E+id|id是SLR（1）文法。
问答题 描述由正规式b*（abb*）*（a|ε）定义的语言，并画出接受该语言的最简DFA。
问答题 符号表的作用是什么？符号表查找和整理技术有哪几种？
