Universal Turing machine: Difference between revisions

m
Line 2,391:
 
m is the machine code
i is anthe input tape
q is the current state
h is the halt state
Line 2,418:
(t (setf op c)))
(unless (car i) (pop i) (push b i))))
(format t "MQ = <~a, ~{~a~}.~{~a~}>~%" q (reverse l) i)))</lang>
 
4. Rules
Line 2,434:
5. Execution
 
<pre>MQ = <state tape headposition></pre>
 
{{out}}
<pre>(run +incrementer+ '(1 1 1) 'q0 'qf 'b)
MQ = <QF, 111.1>
(run +three-states-buzy-beaver+ '(0) 'a 'halt '0)
MQ = <HALT, 111.111></pre>
 
That's all Folks !
422

edits