La teoría de la computación es el estudio sistemático de los procesos abstractos que ocurren en la realidad para reproducirlos mediante sistemas formales como códigos de caracteres e instrucciones lógicas que pueden ser procesadas por ordenadores. Se apoya en la teoría de autómatas para simular y estandarizar dichos procesos abstractos y formalizar problemas para encontrarles soluciones.