782 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   782 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

   783 \begin{frame}[c]

   783 \begin{frame}[c]

   784 \frametitle{Subset Construction}

   784 \frametitle{Subset Construction}

   785 

   785 

   786 

   786 

   788 \begin{center}

   788 \begin{center}

   789 \begin{tikzpicture}[node distance=6mm,scale=0.7,>=stealth',very thick,

   789 \begin{tikzpicture}[node distance=6mm,scale=0.7,>=stealth',very thick,

   790                              every state/.style={minimum size=0pt,draw=blue!50,very thick,fill=blue!20},]

   790                              every state/.style={minimum size=0pt,draw=blue!50,very thick,fill=blue!20},]

   791 \node[state,initial]  (Q_0)  {$\mbox{Q}_0$};

   791 \node[state,initial]  (Q_0)  {$\mbox{Q}_0$};

   792 \node[state] (Q_1) [above=of Q_0] {$\mbox{Q}_1$};

   792 \node[state] (Q_1) [above=of Q_0] {$\mbox{Q}_1$};