Advance Theory of Computation