Universal Turing machine: Difference between revisions

Content added Content deleted
Line 2,398: Line 2,398:
(let (lStack (rStack input) rule operand match)
(let (lStack (rStack input) rule operand match)
(loop until (eql state halt) do
(loop until (eql state halt) do
(setf code (cdr (assoc state table)) operand 'null match t)
(setf rule (cdr (assoc state table)) operand 'null match t)
(dolist (symbol rule)
(dolist (symbol rule)
(case symbol
(case symbol