[sophomore] Theory of Computation