Text this: Theory of machines and computations