Original: The field is divided into two major branches: computability theory and complexity theory, but both branches deal with formal models of computation.
Simplified: There are two major branches in it.