Theory of Computation - Composition