anchor.diff:    (:export
      "DFA" "DFA-STATE" "DEFINE-STATE-MACHINE" "ON-ENTRY" "ON-EXIT"
      "GO-TO-STATE")
  -  
  +
     (:documentation "
   
   This package implements a DFA, Deterministic Finite Automaton (or
  
positive.code:                   (first slot)))
              slots))
  
    
    (defmacro with-go-to-state ((dfa-var state-names) &body body)
      "Execute the BODY in a context where GO-TO-STATE is defined as a
  macro to transition to a new state."
  
negative.code: 
  A DFA has a state.
  
  Our DFAs also have a set of slots.
  
  Each DFA is implemented as a class.
  
  