Text this: Topics in the theory of computation