equal
deleted
inserted
replaced
56 \end{frame}} |
56 \end{frame}} |
57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
57 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
58 |
58 |
59 |
59 |
60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
60 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
61 \mode<presentation>{ |
61 \begin{frame}[c] |
62 \begin{frame}<1>[c] |
|
63 |
62 |
64 \begin{center} |
63 \begin{center} |
65 \begin{tikzpicture}[>=stealth',very thick,auto, |
64 \begin{tikzpicture}[>=stealth',very thick,auto, |
66 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
65 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
67 \node[state,initial] (q_0) {$q_0$}; |
66 \node[state,initial] (q_0) {$q_0$}; |
112 \draw (2.5,0.5) node {\large$\star$}; |
111 \draw (2.5,0.5) node {\large$\star$}; |
113 \draw (3.5,0.5) node {\large$\star$}; |
112 \draw (3.5,0.5) node {\large$\star$}; |
114 \end{tikzpicture}\\ |
113 \end{tikzpicture}\\ |
115 \end{center} |
114 \end{center} |
116 |
115 |
117 \end{frame}} |
116 \end{frame} |
118 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
117 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
119 |
118 |
120 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
119 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
121 \mode<presentation>{ |
120 \begin{frame}[c] |
122 \begin{frame}<1-2>[c] |
|
123 |
121 |
124 \begin{center} |
122 \begin{center} |
125 \begin{tabular}{@{\hspace{-8mm}}cc@{}} |
123 \begin{tabular}{@{\hspace{-8mm}}cc@{}} |
126 \begin{tikzpicture}[>=stealth',very thick,auto, |
124 \begin{tikzpicture}[>=stealth',very thick,auto, |
127 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
125 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
192 \path[->] (q_4) edge [loop above] node {\alert{$a, b$}} (); |
190 \path[->] (q_4) edge [loop above] node {\alert{$a, b$}} (); |
193 \end{tikzpicture}\\ |
191 \end{tikzpicture}\\ |
194 minimal automaton |
192 minimal automaton |
195 \end{center} |
193 \end{center} |
196 |
194 |
197 \end{frame}} |
195 \end{frame} |
198 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
196 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
199 |
197 |
200 |
198 |
201 |
199 |
202 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
200 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |