La Teoría de la Computación es una ciencia, en particular una rama de la matemática y de la computación, que centra su interés en el estudio y definición formal de los cómputos.