equal
deleted
inserted
replaced
782 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
782 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
783 \begin{frame}[c] |
783 \begin{frame}[c] |
784 \frametitle{Subset Construction} |
784 \frametitle{Subset Construction} |
785 |
785 |
786 |
786 |
787 \begin{textblock}{5}(1,1) |
787 \begin{textblock}{5}(1,1.5) |
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$}; |