Una lista de lenguajes Turing completos está bajo el rubro de teoría de la computabilidad.