See SemiDecidable or recursively enumerable in Sipser's, ''Introduction to the theory of Computation.'' Second Edition P 375.