Compiler (2):语义分析
能够成功建立语法树只说明了所输入的 Decaf 源程序在格式上是合法的,但是要进行有效的翻译,编译器还需要了解这个程序每个语句的含义。了解程序含义的过程称为语义分析。
能够成功建立语法树只说明了所输入的 Decaf 源程序在格式上是合法的,但是要进行有效的翻译,编译器还需要了解这个程序每个语句的含义。了解程序含义的过程称为语义分析。
实现一个非常简单的 Decaf 编译器。这个编译器的输入是 Decaf 源语言程序,输出是 MIPS R2000/R3000 伪指令汇编程序。掌握 LEX 和 YACC 的用法,体会正规表达式、自动机、LALR(1)分析等理论是如何在实践中得到运用的