Die drei Hauptzweige sind Automatentheorie, Berechenbarkeitstheorie und Komplexitätstheorie, die sich jeweils auf unterschiedliche Aspekte konzentrieren davon, was berechnet werden kann und wie.