------------------------------------------
Textual Representation of the Final DFA of
Section 7.3 of Sedgewick and Wayne Book
------------------------------------------


none (accept) <-- the start state
   /:  slash
   other:  none

slash (accept)
   /:  C++
   *:  C
   other:  none

C++ (reject)
   end-of-line:  none
   other:  C++

C (reject)
   *:  star
   other:  C

star (reject)
   *:  star
   /:  none
   other:  C



(Note that the DFA explicitly indicates which state
is the start state, and whether each state is an
accepting state or a rejecting state.)