Jump to content

Universal Turing machine: Difference between revisions

m
Line 2,384:
'>' : move right
'@' : state <- op
*<symbol> : op <- *symbol</pre>
 
2. Interpreter
Line 2,395:
 
<lang lisp>(defun run (table input state halt blank)
;; bugs / questionshelp : cyril nocton <cyril.nocton:gmail.com>
(let (lStack (rStack input) rulecode operand match)
(loop until (eql state halt) do
(setf rulecode (cdr (assoc state table)) operand 'null match t)
(dolist (symbol rulecode)
(case symbol
(= (setf match (eql (car rStack) operand)))
422

edits

Cookies help us deliver our services. By using our services, you agree to our use of cookies.