Syllabus - Theory of Computation (IT-503 (A))