See SemiDecidable or recursively enumerable in Sipser's, Introduction to the theory of Computation. Second Edition P 375.
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)