Ciencias de la computación teóricas

La Teoría de Autómatas es el estudio de máquinas abstractas y los problemas que pueden resolver.

La teoría de la complejidad computacional estudia los recursos necesarios para que los algoritmos resuelvan problemas.