Universal Turing machine: Difference between revisions
→Control language version
Cyril Nocton (talk | contribs) |
Cyril Nocton (talk | contribs) |
||
Line 2,396:
(defun run (rules right state halt blank)
(let (left rule
(loop until (member state halt) do
(setf rule (cdr (assoc state rules))
(dolist (token rule)
(case token
Line 2,405:
(< (when match (push (pop left) right)))
(> (when match (push (pop right) left)))
(@ (when match (setf state
(t (setf
(unless (car right) (pop right) (push blank right))))
(format t "Q = <~a, ~{~a~}.~{~a~}>~%" state (reverse left) right)))</lang>
|