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