CSC 234 Theory of Computation - 2014 Spring