CSC 234 Theory of Computation - 2016 Spring