Sintax directed translation.
Algorithm for minimization.