Title: Theory of Machines and Computations