Branches Of The Theory Of Computation