;;; Solution fsa-3c.lisp
;;;
;;; Modified fsa-3c to accept 
;;;     "the first two contestants admired the second two contestants"

(setf *fsa*
 '((Alphabet      (the and first second two three contestant contestants))
   (States        (q0 q1 q2 q3 q4 q5))
   (Initial       q0)
   (Final         (q3 q4))
   (Transitions
                  (((q0 the)         q1)

                   ((q1 first)       q2)
                   ((q1 second)      q2)
                   ((q1 two)         q3)
                   ((q1 three)       q3)
                   ((q1 contestant)  q4)
                   ((q1 contestants) q4)

                   ((q2 two)         q3)
                   ((q2 three)       q3)
                   ((q2 contestant)  q4)
                   ((q2 and)         q5)

                   ((q3 contestants) q4)

                   ((q4 admired)     q0)

                   ((q5 second)      q3)))))