Text this: Elements of Computation Theory