Universal Turing machine: Difference between revisions
m
→Tmcl version
Cyril Nocton (talk | contribs) m (→Tmcl version) |
Cyril Nocton (talk | contribs) m (→Tmcl version) |
||
Line 2,377:
1. Instruction set
<pre>'=' : if scanned symbol = op do
Line 2,395:
<lang lisp>(defun run (table input state halt blank)
(let (lStack (rStack input) code operand match)
(loop until (eql state halt) do
Line 2,424 ⟶ 2,423:
4. Execution
<pre>(run +incrementer+ '(1 1 1) 'q0 'qf 'b)
M = (QF, 111.1)
| |||