184     case _ => Sink

   184     case _ => Sink

   185   }

   185   }

   186 \end{lstlisting}}  

   186 \end{lstlisting}}  

   187 

   187 

   188 \noindent I let you think what the corresponding DFA looks like in the

   188 \noindent I let you think what the corresponding DFA looks like in the

   190 

   191 

   191 Finally, I let you ponder whether this is a good implementation of

   192 Finally, I let you ponder whether this is a good implementation of

   192 DFAs or not. In doing so I hope you notice that the $\varSigma$ and

   193 DFAs or not. In doing so I hope you notice that the $\varSigma$ and

   193 $Qs$ components (the alphabet and the set of finite states,

   194 $Qs$ components (the alphabet and the set of finite states,

   194 respectively) are missing from the class definition. This means that

   195 respectively) are missing from the class definition. This means that