CSC 234 Theory of Computation - 2017 Spring