La Teoría de la Computabilidad está compuesta por los siguientes niveles: