105
Comment:
|
← Revision 3 as of 2006-07-02 22:00:35 ⇥
127
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
See SemiDecidable or recursively enumerable in Sipser's, ''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.