Universal Turing machine: Difference between revisions
m
→Control language version
Cyril Nocton (talk | contribs) |
Cyril Nocton (talk | contribs) |
||
Line 2,386:
<symbol> : op <- symbol</pre>
2.
Tape is split into two stacks.
Line 2,392:
<pre>T = reverse (left) . right where right is the scanned symbol.
0</pre>
The program is concise.
<lang lisp>;; 22.06.26
Line 2,409 ⟶ 2,411:
(unless (car right)
(setf right (cons blank (cdr right))))))
(format t "Q = <~a
3. Rules
Line 2,424 ⟶ 2,426:
4. Execution
{{out}}
| |||