1.1 --- a/slides/src/slides.tex	Fri Jul 22 16:50:42 2011 +0200
     1.2 +++ b/slides/src/slides.tex	Fri Jul 22 20:49:15 2011 +0200
     1.3 @@ -224,35 +224,32 @@
     1.4  \begin{frame}
     1.5  \frametitle{Reactive Systems}
     1.6  \framesubtitle{Infinite inputs}
     1.7 +\begin{center}
     1.8  \begin{figure}
     1.9 -\centering
    1.10 -
    1.11 -\subfigure{
    1.12 +\setcounter{subfigure}{0} 
    1.13 +\subfigure[Terminating program]{
    1.14  \begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth   
    1.15      ,accepting/.style={fill, gray!50!black, text=white}]
    1.16 -\node[state, initial, initial text=$input$] (p) {$Program$};
    1.17 -\coordinate (b) at (1.1,0);
    1.18 +\node[state, initial, initial text=$input$] (p) {$P$};
    1.19 +\coordinate (b) at (1,0);
    1.20          %\coordinate (b) at ($(a)+1/2*(3,3)$);
    1.21 -\draw (p) edge[->] node[right] {$\,output$} (b);
    1.22 +\draw (p) edge[->] node[right] {$\hspace{8pt}output$} (b);
    1.23  %\draw[->] (p) -- (b);
    1.24  \end{tikzpicture}
    1.25  }
    1.26 -
    1.27 -\subfigure{
    1.28 +\hspace{10pt}
    1.29 +\visible<2>{\subfigure[Reactive program]{
    1.30  \begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth   
    1.31      ,accepting/.style={fill, gray!50!black, text=white}]
    1.32 -\node[state, initial, initial text=] (s_0) {$a$};
    1.33 -\node[state] (s_1) [right of= s_0] {$b$};
    1.34 -\node[state] (s_2) [right of= s_1] {$a$};
    1.35 -\node[state] (s_i) [right of= s_2] {$a$};
    1.36 -\path[->] 
    1.37 -(s_0) edge node {} (s_1) 
    1.38 -(s_1) edge node {} (s_2);
    1.39 -\path[dashed,->] 
    1.40 -(s_2) edge node {} (s_i); 
    1.41 +\node[state, initial, initial text=$event$] (p) {$RP$};
    1.42 +\coordinate (b) at (1.1,0);
    1.43 +        %\coordinate (b) at ($(a)+1/2*(3,3)$);
    1.44 +\path[->]
    1.45 +(p) edge [loop right] node {$action$} ();
    1.46  \end{tikzpicture}
    1.47 -}
    1.48 +}}
    1.49  \end{figure}
    1.50 +\end{center}
    1.51  \end{frame}
    1.52  
    1.53  \begin{frame}