Compiler Design

two types ✘ three types ✘ four types ✘ five types ✔

loop ✘ strength ✘ induction ✘ invariable ✔

to improve the register allocation ✘ to increase the error reporting & recovery. ✘ to make semantic analysis easier. ✘ to increase the chances of re-using the machine-independent code optimizer in other compilers. ✔

Context-sensitive grammar ✘ Context-free grammar ✘ Regular grammar ✘ All of these ✔

Type 0 language ✘ Type 1 language ✘ Type 2 language ✘ Type 3 language ✔

the code generation ✘ the data flow analysis ✘ the lexical analysis of the program ✘ the program parsing ✔

sub-terminals ✘ half-terminals ✘ non-terminals ✘ terminals ✔

Control graph ✘ DAG ✘ Flow graph ✘ Hamilton graph ✔

Code Optimization ✘ Semantic Analysis ✘ Syntax Analysis ✘ Lexical Analysis ✔

An LALR parser ✘ A LR parser ✘ Operator precedence parser ✘ Recursive descent parser ✔