Este tema es del dominio de la teoría de la computabilidad y la teoría de la complejidad computacional.