CSC 234 Theory of Computation - 2019 Spring