Le champ est divisé en deux branches principales : la théorie de la calculabilité et la théorie de la complexité, mais les deux branches traitent des modèles formels de calcul.
Il comporte deux grandes branches.