CSCB36 - Introduction to the Theory of Computation