Universal Turing machine: Difference between revisions
m
→Control language version
Cyril Nocton (talk | contribs) |
Cyril Nocton (talk | contribs) |
||
Line 2,399:
(loop until (member state halt) do
(setf rule (cdr (assoc state rules)) match t)
(
(case token
(= (setf match (eql (car right) op)))
Line 2,407:
(@ (when match (setf state op) (return)))
(t (setf op token)))
(unless (car right
(setf right (cons blank (cdr right))))))
(format t "Q = <~a, ~{~a~}.~{~a~}>~%" state (reverse left) right)))</lang>
| |||