Some more green on the graph.
1.1 --- a/slides/src/slides.tex Wed Jul 20 03:57:42 2011 +0200
1.2 +++ b/slides/src/slides.tex Wed Jul 20 15:32:09 2011 +0200
1.3 @@ -5,6 +5,7 @@
1.4 \usecolortheme{dolphin}
1.5 %\usecolortheme{seagull}
1.6
1.7 +\usepackage{amsmath, amsthm, amssymb, amsfonts, verbatim}
1.8 \usepackage{color}
1.9 \usepackage{ulem}
1.10 \usepackage{graphicx}
1.11 @@ -92,7 +93,7 @@
1.12 \framesubtitle{Example 1/2}
1.13 \begin{figure}
1.14 \centering
1.15 -\only<1>{
1.16 +\only<-3>{
1.17 \begin{tikzpicture}[shorten >=1pt, node distance=2cm, auto, semithick, >=stealth
1.18 %every state/.style={fill, draw=none, gray, text=white},
1.19 ,accepting/.style={fill, gray!50!black, text=white}
1.20 @@ -109,10 +110,15 @@
1.21 (q_2) %edge node {$a$} (q_1)
1.22 edge node {$b$} (q_0);
1.23 \draw[->] (q_2) .. controls +(up:1cm) and +(right:1cm) .. node[above] {$a$} (q_1);
1.24 -\end{tikzpicture}
1.25 +\end{tikzpicture}\\
1.26 +\vspace{10pt}
1.27 +\visible<2-3>{$w_1 = \overline{bbaa} \implies \rho_1 = q_0q_0\overline{q_0q_1q_1q_2}$}\\
1.28 +\visible<3>{$w_2 = bb\overline{ab} \implies \rho_2 = q_0q_0\overline{q_1q_2}$}\\
1.29 +\vspace{10pt}
1.30 +\visible<4>{Accepts all inputs with infinite occurrences of $ab$.}
1.31 }
1.32
1.33 -\only<2>{
1.34 +\only<4>{
1.35 \begin{tikzpicture}[shorten >=1pt, node distance=2cm, auto, semithick, >=stealth
1.36 %every state/.style={fill, draw=none, gray, text=white},
1.37 ,accepting/.style={fill, gray!50!black, text=white}
1.38 @@ -135,8 +141,11 @@
1.39 \draw[->] (q_2) .. controls +(up:1cm) and +(right:1cm) .. node[above] {$a$} (q_1);
1.40 \end{tikzpicture}\\
1.41 \color{black}
1.42 -\vspace{20pt}
1.43 -Accepts all inputs with infinite occurrences of $ab$.
1.44 +\vspace{10pt}
1.45 +\visible<2->{$w_1 = \overline{\textcolor{green}{b}ba\textcolor{green}{a}} \implies \rho_1 = q_0q_0\overline{q_0q_1q_1\textcolor{green}{q_2}}$}\\
1.46 +\visible<3->{$w_2 = bb\overline{\textcolor{green}{ab}} \implies \rho_2 = q_0q_0\overline{q_1\textcolor{green}{q_2}}$}\\
1.47 +\vspace{10pt}
1.48 +\visible<4>{Accepts all inputs with infinite occurrences of $ab$.}
1.49 }
1.50 %Automaton $\A_1$
1.51 \end{figure}
1.52 @@ -147,7 +156,7 @@
1.53 \framesubtitle{Example 2/2 (Complement)}
1.54 \begin{figure}
1.55 \centering
1.56 -\only<-1>{
1.57 +\only<1>{
1.58 \subfigure
1.59 {
1.60 \begin{tikzpicture}[shorten >=1pt, node distance=2cm, auto, semithick, >=stealth
1.61 @@ -220,7 +229,7 @@
1.62 }
1.63 \color{black}
1.64 }
1.65 -\hspace{10pt}
1.66 +%\hspace{10pt}
1.67 \visible<3->{
1.68 \subfigure[Complement automaton]
1.69 {