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

RecursivelyEnumerable (last edited 2006-07-02 22:00:35 by dot)