Theory of Computation added