Course website for CS335 Theory of Computation at Hanover College
For anyone looking for the older version of the course, based on Sipser’s book and using assignments in OCAML, you can take a look at these notes.