Text this: Mathematical theory of computation