1. Suppose you derive the control flow graph for a program Pin order to evaluate its complexity. Is the value you obtain affected by the transformation described in? 2. While a compiler's functional specification may be easily provided by the official definition of the source language, some other aspects of the compiler are not so easy to specify. For example, how would you specify the requirements for the optimization part of a compiler? How do you specify what code is optimized? Is it possible for a compiler to produce optimal code, in the mathematical sense of the word?