Universal Turing machine: Difference between revisions

Content added Content deleted
Line 2,418: Line 2,418:
(t (setf op c)))
(t (setf op c)))
(unless (car i) (pop i) (push b i))))
(unless (car i) (pop i) (push b i))))
(format t "M = (~a, ~{~a~}.~{~a~})~%" q (reverse l) i)))</lang>
(format t "M = <~a, ~{~a~}.~{~a~}>~%" q (reverse l) i)))</lang>


4. Rules
4. Rules
Line 2,433: Line 2,433:


5. Execution
5. Execution

<pre>M = <state tape head></pre>


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


That's all Folks !
That's all Folks !
Retrieved from "https://rosettacode.org/wiki/Universal_Turing_machine"