667 \path[->] (q_1) edge node [right] {\alert{$b$}} (q_2); |
666 \path[->] (q_1) edge node [right] {\alert{$b$}} (q_2); |
668 \path[->] (q_0) edge node [above] {\alert{$b$}} (q_2); |
667 \path[->] (q_0) edge node [above] {\alert{$b$}} (q_2); |
669 \path[->] (q_2) edge [loop left] node {\alert{$b$}} (); |
668 \path[->] (q_2) edge [loop left] node {\alert{$b$}} (); |
670 \path[->] (q_3) edge [bend left=95, looseness=1.3] node [below] {\alert{$b$}} (q_0); |
669 \path[->] (q_3) edge [bend left=95, looseness=1.3] node [below] {\alert{$b$}} (q_0); |
671 \end{tikzpicture} |
670 \end{tikzpicture} |
672 \end{center}\pause |
671 \end{center} |
673 |
672 |
674 \mbox{}\\[-20mm]\mbox{} |
673 \mbox{}\\[-20mm]\mbox{} |
675 |
674 |
676 \begin{center} |
675 \begin{center} |
677 \begin{tikzpicture}[>=stealth',very thick,auto, |
676 \begin{tikzpicture}[>=stealth',very thick,auto, |
689 \end{center} |
688 \end{center} |
690 |
689 |
691 \end{frame}} |
690 \end{frame}} |
692 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
691 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
693 |
692 |
|
693 |
|
694 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
695 \mode<presentation>{ |
|
696 \begin{frame}<1-2>[c] |
|
697 |
|
698 \begin{center} |
|
699 \begin{tikzpicture}[>=stealth',very thick,auto, |
|
700 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
|
701 \node[state,initial] (q_0) {$q_0$}; |
|
702 \node[state] (q_1) [right=of q_0] {$q_1$}; |
|
703 \node[state] (q_2) [below right=of q_0] {$q_2$}; |
|
704 \node[state] (q_3) [right=of q_2] {$q_3$}; |
|
705 \node[state, accepting] (q_4) [right=of q_1] {$q_4$}; |
|
706 \path[->] (q_0) edge node [above] {\alert{$a$}} (q_1); |
|
707 \path[->] (q_1) edge node [above] {\alert{$a$}} (q_4); |
|
708 \path[->] (q_4) edge [loop right] node {\alert{$a, b$}} (); |
|
709 \path[->] (q_3) edge node [right] {\alert{$a$}} (q_4); |
|
710 \path[->] (q_2) edge node [above] {\alert{$a$}} (q_3); |
|
711 \path[->] (q_1) edge node [right] {\alert{$b$}} (q_2); |
|
712 \path[->] (q_0) edge node [above] {\alert{$b$}} (q_2); |
|
713 \path[->] (q_2) edge [loop left] node {\alert{$b$}} (); |
|
714 \path[->] (q_3) edge [bend left=95, looseness=1.3] node [below] {\alert{$b$}} (q_0); |
|
715 \end{tikzpicture} |
|
716 \end{center}\pause |
|
717 |
|
718 \mbox{}\\[-20mm]\mbox{} |
|
719 |
|
720 \begin{center} |
|
721 \begin{tikzpicture}[>=stealth',very thick,auto, |
|
722 every state/.style={minimum size=0pt,inner sep=2pt,draw=blue!50,very thick,fill=blue!20},] |
|
723 \node[state,initial] (q_02) {$q_{0, 2}$}; |
|
724 \node[state] (q_13) [right=of q_02] {$q_{1, 3}$}; |
|
725 \node[state, accepting] (q_4) [right=of q_13] {$q_{4\phantom{,0}}$}; |
|
726 \path[->] (q_02) edge [bend left] node [above] {\alert{$a$}} (q_13); |
|
727 \path[->] (q_13) edge [bend left] node [below] {\alert{$b$}} (q_02); |
|
728 \path[->] (q_02) edge [loop below] node {\alert{$b$}} (); |
|
729 \path[->] (q_13) edge node [above] {\alert{$a$}} (q_4); |
|
730 \path[->] (q_4) edge [loop above] node {\alert{$a, b$}} (); |
|
731 \end{tikzpicture}\\ |
|
732 minimal automaton |
|
733 \end{center} |
|
734 |
|
735 \end{frame}} |
|
736 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
737 |
694 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
738 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
695 \mode<presentation>{ |
739 \mode<presentation>{ |
696 \begin{frame}[c] |
740 \begin{frame}[c] |
697 |
741 |
698 \begin{itemize} |
742 \begin{itemize} |