Ciência da Computação Teórica

A Teoria dos Autômatos é o estudo de máquinas abstratas e os problemas que podem resolver.

A teoria da complexidade computacional estuda os recursos necessários para que algoritmos resolvam problemas.