Theory of Computation_2079