Investigamos las condiciones bajo las cuales un conjunto semicalculable es calculable. En particular, estudiamos pares topológicos que tienen un tipo computable, lo que significa que en cualquier espacio topológico computable, un conjunto semicalculable es calculable si existe un conjunto semicalculable que es homeomorfo a . Se sabe que tiene un tipo computable si es un grafo topológico y es el conjunto de todos sus puntos finales. Además, lo mismo ocurre si es un grafo llamado encadenable. Generalizamos la noción de un grafo encadenable y demostramos que el mismo resultado se cumple para una clase más amplia de espacios.