463 \frametitle{Another Example} |
463 \frametitle{Another Example} |
464 |
464 |
465 For the regular expression \bl{$(.^*)a\,(.^{\{n\}})bc$}\bigskip\bigskip |
465 For the regular expression \bl{$(.^*)a\,(.^{\{n\}})bc$}\bigskip\bigskip |
466 |
466 |
467 % \begin{center} |
467 % \begin{center} |
468 \mbox{}\hspace{-11mm} |
468 \mbox{}\hspace{-11.5mm} |
469 \begin{tikzpicture}[>=stealth',very thick, auto, |
469 \begin{tikzpicture}[>=stealth',very thick, auto, |
470 every state/.style={minimum size=5pt,inner sep=1pt, |
470 every state/.style={minimum size=5pt,inner sep=1pt, |
471 draw=blue!50,very thick,fill=blue!20},scale=1, node distance=5mm, |
471 draw=blue!50,very thick,fill=blue!20},scale=1, node distance=5mm, |
472 decoration={brace,mirror,amplitude=7}] |
472 decoration={brace,mirror,amplitude=7}] |
473 \node[state,initial] (Q_0) {$\;0\;$}; |
473 \node[state,initial] (Q_0) {$\;0\;$}; |
1224 \end{center}\bigskip |
1224 \end{center}\bigskip |
1225 |
1225 |
1226 \onslide<2->{ |
1226 \onslide<2->{ |
1227 \begin{center} |
1227 \begin{center} |
1228 \begin{tabular}{r@ {\hspace{2mm}}c@ {\hspace{2mm}}l} |
1228 \begin{tabular}{r@ {\hspace{2mm}}c@ {\hspace{2mm}}l} |
1229 \bl{$\mbox{Q}_0$} & \bl{$=$} & \bl{$\ONE + \mbox{Q}_0\,b + \mbox{Q}_1\,b + \mbox{Q}_2\,b$}\\ |
1229 \bl{$\mbox{Q}_0$} & \bl{$=$} & \bl{$\mbox{Q}_0\,b + \mbox{Q}_1\,b + \mbox{Q}_2\,b + \ONE$}\\ |
1230 \bl{$\mbox{Q}_1$} & \bl{$=$} & \bl{$\mbox{Q}_0\,a$}\\ |
1230 \bl{$\mbox{Q}_1$} & \bl{$=$} & \bl{$\mbox{Q}_0\,a$}\\ |
1231 \bl{$\mbox{Q}_2$} & \bl{$=$} & \bl{$\mbox{Q}_1\,a + \mbox{Q}_2\,a$}\\ |
1231 \bl{$\mbox{Q}_2$} & \bl{$=$} & \bl{$\mbox{Q}_1\,a + \mbox{Q}_2\,a$}\\ |
1232 |
1232 |
1233 \end{tabular} |
1233 \end{tabular} |
1234 \end{center} |
1234 \end{center} |