Branches of Theory of Computation