COMP 3803 - Introduction to the theory of computation.