anchor.diff:        (return t))))
   
   (defun sequence-derives-epsilon (sequence grammar)
  +  "Sequence version of DERIVES-EPSILON*."
     (declare (list sequence) (type grammar grammar))
     (every #'(lambda (s) (derives-epsilon s grammar)) sequence))
   
  
positive.code:     (or k (%make-kernel items))))
  
  (defun kernel-item (kernel)
    (declare (type kernel kernel))
    (assert (null (cdr (kernel-items kernel))))
    (the lr0-item (car (kernel-items kernel))))
  
negative.code: 
  (defun compute-parsing-tables (kernels grammar
                                 &key precedence muffle-conflicts)
    "Compute the parsing tables for grammar GRAMMAR and transitions KERNELS.
  PRECEDENCE is as in FIND-PRECEDENCE.  MUFFLE-WARNINGS is one of NIL, T, :SOME
  or a list of the form (sr rr)."
    (declare (list kernels) (type grammar grammar))
    (let ((numkernels (length kernels)))
      (let ((goto (make-array numkernels :initial-element '()))
  