Text this: Element of the theory of computation