Estas divisiones y subconjuntos incluyen análisis de algoritmos y semántica formal de lenguajes de programación.