对tiny语义分析器的阅读和分析，理解符号表的定义（栏目设置）与基于抽象语法树的类型检查/推论的实现方法（树遍历）。完成C－语言的符号表的定义设计。规划类型检查/推论的实现方法。实现一种语言的语义分析器-Type checking/inference realization tiny semantic analyzer reading and analysis, to understand the definition of the symbol table (part set) based on the abstract syntax tree (tree traversal). Completion of the C-language definition of the symbol table design. The planning type checking/inference realization. A language semantic analyzer