Differences between revisions 1 and 3 (spanning 2 versions)
⇤ ← Revision 1 as of 2006-07-02 21:51:21 →
Size: 72
Editor: dot
Comment:
← Revision 3 as of 2006-07-02 22:00:35 → ⇥
Size: 127
Editor: dot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
See SemiDecidable or Sipser: Introduction to the theory of Computation 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)