TAC Handout written by Maggie Johnson and revised by me. Three address code Three-address code(TAC) will be the intermediate representation used in our Decaf compiler. It is essentially a generic assembly language that falls in the lower-end of the mid-level IRs. Some variant of 2, 3 or 4 address code is fairly commonly used as an IR, since it maps well to most

语义分析 通常包括: (1)类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程,编译程序必须报告不符合类型系统的信息。 (2)控制流检查。控制流语句必须使控制转移到合法的地方。 (3)一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次等等。 (4)名字的作用域分析

第四章文法和语言 本章目的 为语言的语法描述寻求工具工具要对程序设计语言给出精确无二义的语法描述。(严谨、简洁、易读) 形式工具--形式语言抽象地定义为一个数学系统。“形式”是指这样的事实:语言的所有规则只以什麽符号串能出现的方式来陈述

RUN-Time Organization Compiler phase- Before writing a code generator, we must decide how to marshal the resources of the target machine (instructions, storage, and system software) in order to implement the source language. This is called run-time organization

第十一章代码优化 11.1什么是代码优化 11.2局部优化 11.3控制流程分析和循环 11.4数据流分析举例

第五章LL(1)文法及其分析程序 5.1预测分析程序 5.2LL(1)文法 1 FIRSTFOLLOW和集定义和计算 2 LL(1)文法定义 3 LL(1)分析程序的生成 5.3非LL(1)文法的改造

第9章符号表 9.1符号表的作用和地位 9.2符号的主要属性及作用 9.3符号表的组织

Semantic analysis Parsing only verifies that the program consists of tokens arranged in a syntactically-valid combination, we now move on to semantic analysis, where we delve deeper to check whether they form a sensible set of instructions in the programming language

6.1 自下而上分析及其LR分析概述 6.2 LR (0) 分析 6.3 SLR(1) 分析 6.4 LR（1）分析 6.5 LALR分析 6.6 使用二义文法

习题 1.构造正规式1(0|1)*101相应的DFA 2.将图416确定化: [讲义图416] 3把图417的最小化 [讲义图417] 4构造一个DFA,它接收={0,1}上所有满足如下条件的字符串:每个1都有