Theory of Computation 2014  Homework 3