home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / math / 12865 < prev    next >
Encoding:
Internet Message Format  |  1992-10-07  |  1.1 KB
  1. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!zaphod.mps.ohio-state.edu!ub!acsu.buffalo.edu!lusardi
  2. From: lusardi@sybil.cs.Buffalo.EDU (Christopher Lusardi)
  3. Newsgroups: sci.math
  4. Subject: Recursion and Rice's Theorems
  5. Message-ID: <BvrqAs.9Lz@acsu.buffalo.edu>
  6. Date: 7 Oct 92 20:30:28 GMT
  7. Sender: nntp@acsu.buffalo.edu
  8. Organization: State University of New York at Buffalo/Comp Sci
  9. Lines: 13
  10. Originator: lusardi@sybil.cs.Buffalo.EDU
  11. Nntp-Posting-Host: sybil.cs.buffalo.edu
  12.  
  13. I'm not really good at proof techniques, so would someone send me examples
  14. of showing a language is recursive or r.e. (recursively enumerable) with 
  15. the Recursion theorem, with Rice's theorem, and with a diagonalization 
  16. argument? These were used in a theory of computation course of mine about 
  17. 4 years ago, so I'm looking for something easy to read.
  18.  
  19. I'm really not looking for proofs, but what I'm looking for is a good 
  20. explanation of these. I have 3 or 4 books on the subject, but I would like
  21. an intuitive explanation of doing this.
  22.  
  23.                             Thank you,
  24. -- 
  25. Christopher M. Lusardi     University At Buffalo  lusardi@sybil.cs.buffalo.edu
  26.