https://www.explainxkcd.com/wiki/api.php?action=feedcontributions&user=69.163.36.90&feedformat=atomexplain xkcd - User contributions [en]2023-06-08T11:17:41ZUser contributionsMediaWiki 1.30.0https://www.explainxkcd.com/wiki/index.php?title=Talk:205:_Candy_Button_Paper&diff=43059Talk:205: Candy Button Paper2013-07-06T16:03:21Z<p>69.163.36.90: </p>
<hr />
<div>It is possible to run a Turing machine on a candy belt:<br />
<br />
Marvin Minsky (1967), Computation: Finite and Infinite Machines, Prentice-Hall, Inc. Englewood Cliffs, N.J. In particular see p. 262ff (italics in original):<br />
"We can now demonstrate the remarkable fact, first shown by Wang [1957], that for any Turing machine T there is an equivalent Turing machine TN that ''never changes a once-written symbol''! In fact, we will construct a two-symbol machine TN that can only change blank squares on its tape to 1's but can not change a 1 back to a blank." Minsky then offers a proof of this. [[Special:Contributions/69.163.36.90|69.163.36.90]] 16:01, 6 July 2013 (UTC)</div>69.163.36.90https://www.explainxkcd.com/wiki/index.php?title=Talk:205:_Candy_Button_Paper&diff=43058Talk:205: Candy Button Paper2013-07-06T16:01:06Z<p>69.163.36.90: Created page with "It is possible to run a Turing machine on a candy belt: Marvin Minsky (1967), Computation: Finite and Infinite Machines, Prentice-Hall, Inc. Englewood Cliffs, N.J. In particu..."</p>
<hr />
<div>It is possible to run a Turing machine on a candy belt:<br />
<br />
Marvin Minsky (1967), Computation: Finite and Infinite Machines, Prentice-Hall, Inc. Englewood Cliffs, N.J. In particular see p. 262ff (italics in original):<br />
"We can now demonstrate the remarkable fact, first shown by Wang [1957], that for any Turing machine T there is an equivalent Turing machine TN that never changes a once-written symbol! In fact, we will construct a two-symbol machine TN that can only change blank squares on its tape to 1's but can not change a 1 back to a blank." Minsky then offers a proof of this. [[Special:Contributions/69.163.36.90|69.163.36.90]] 16:01, 6 July 2013 (UTC)</div>69.163.36.90