2.7 dec

Refer to the exercise policy for details.
Do the exercises in section 3.3 and 4.1 in the textbook.
Implement an integral root finder for polynomials over a single variable.
Implement the EQ_DFA algorithm described in the textbook.