home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / cplus / 16582 < prev    next >
Encoding:
Internet Message Format  |  1992-11-19  |  1.3 KB
  1. Path: sparky!uunet!olivea!pagesat!spssig.spss.com!hosken
  2. From: hosken@spss.com (Bill Hosken)
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: self-reproducing C++ program
  5. Message-ID: <1992Nov19.201547.10241@spss.com>
  6. Date: 19 Nov 92 20:15:47 GMT
  7. References: <1919@alcbel.be> <DECHC00.92Nov17210448@tohi.DMI.USherb.Ca> <c164-aa.722076580@po.berkeley.edu> <1992Nov18.113006.12935@jyu.fi> <mg.722138417@tyrolia>
  8. Sender: news@spss.com (Net News Admin)
  9. Organization: SPSS, Inc.
  10. Lines: 19
  11.  
  12. In article <mg.722138417@tyrolia>, mg@tyrolia (Michael Golan) writes:
  13. > sakkinen@jyu.fi (Markku Sakkinen) writes:
  14. > 
  15. > >There is one possible problem, though.
  16. > >When you start generating all possible legal C++ programs
  17. > >in the order of ascending length, before the first self-reproducing
  18. > >one you might run into an item about which you can prove _neither_
  19. > >of the following alternatives: [...stuff deleted]
  20. > 
  21. > C++ only runs on finite state machines (computers). So the halting question:-)
  22. > has nothing to do with it. All C++ programs terminate or go back to the 
  23. > same state.
  24. > 
  25.  
  26. The language, though, is independent of the machine on which it runs.
  27. One can imagine asking for more and more floppies to be inserted, simulating
  28. a Turing machine tape, and then the finiteness would be debatable.  Turing
  29. machines have only a finite number of 'processor' states, but have an
  30. unbounded tape.
  31.