CSCI 71 — THEORY OF COMPUTATION