Universal Turing machine: Difference between revisions

Content added Content deleted
Line 2,424: Line 2,424:


<pre>(run +incrementer+ '(1 1 1) 'q0 'qf 'b)
<pre>(run +incrementer+ '(1 1 1) 'q0 'qf 'b)
(run +three-states-buzy-beaver+ '(0) 'a 'halt '0)</pre>
M = (QF, 111.1)


{{out}}
(run +three-states-buzy-beaver+ '(0) 'a 'halt '0)
M = (HALT, 111.111)</pre>
<pre>M = (HALT, 111.111)
M = (QF, 111.1)</pre>


That's all Folks !
That's all Folks !