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              {