home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / cplus / 16494 < prev    next >
Encoding:
Text File  |  1992-11-17  |  1.2 KB  |  28 lines
  1. Newsgroups: comp.lang.c++
  2. Path: sparky!uunet!stanford.edu!ames!pasteur!po.berkeley.edu!c164-aa
  3. From: c164-aa@po.berkeley.edu (Paul DuBois)
  4. Subject: Re: self-reproducing C++ program
  5. Message-ID: <c164-aa.722076580@po.berkeley.edu>
  6. Sender: nntp@pasteur.Berkeley.EDU (NNTP Poster)
  7. Nntp-Posting-Host: po.berkeley.edu
  8. Organization: University of California, at Berkeley
  9. References: <1919@alcbel.be> <DECHC00.92Nov17210448@tohi.DMI.USherb.Ca>
  10. Date: Wed, 18 Nov 1992 08:49:40 GMT
  11. Lines: 15
  12.  
  13. dechc00@tohi.DMI.USherb.Ca (CHRISTIAN DECHAMPLAIN) writes:
  14.  
  15. >Is that an undecidable problem.  The type of problem you waiste your life
  16. >trying to solve only to finaly discover it is undecidable.
  17.  
  18. I think not -- assuming a self-reproducing program of finite size exists,
  19. one can surely generate all possible inputs to a compiler of equal
  20. or lesser size.  If an input compiles (!), testing for self-reproduction
  21. is easy (diff).
  22.  
  23. An example has been given, therefore the assumption is valid.  QED.
  24. --
  25. Paul DuBois                    Permanent: pld@soda.berkeley.edu
  26.   If you call this a short .sig, you oppose its reality.  If you do not call
  27.   it a short .sig, you ignore the fact.  Now what do you wish to call this?
  28.