CSC 234 Theory of Computation - 2015 Spring