停机检查

(mymachine   (
(defmacro  demoinside  (expr)
(print  expr)
)
(defmacro  mymachineinside  (exprs)
`(if  ,(eq  exprs  nil)
      nil
     (progn
         (print (demoinside ,(car  exprs)) )
         (mymachineinside  ,(cdr  exprs) )
      )
)
)

(mymachineinside   (
(defmacro  demo  (expr)
(print  expr)
)
(defmacro  mymachine  (exprs)
`(if  ,(eq  exprs  nil)
      nil
     (progn
          (demo ,(car  exprs))
         (mymachine  ,(cdr  exprs) )
      )
)
)

(defun  infine  ()
(funcall   (lambda (x)  (progn (print 'a)(funcall  x  x) ))
           (lambda (x)  (progn (print 'b) (funcall  x  x) ))))

(defun  safe (n)
t
)
(defun  safe (n)
nil
)

(defun  check ( m  )
(if (safe m )
      (infine)
     3
)
)

(check  'check)

))
))