1.1 --- a/slides/src/slides.tex	Fri Jul 22 15:55:34 2011 +0200
     1.2 +++ b/slides/src/slides.tex	Fri Jul 22 16:50:42 2011 +0200
     1.3 @@ -123,7 +123,7 @@
     1.4  \usebeamercolor*{frametitle} 
     1.5  \begin{frame}
     1.6  \frametitle{Linear Temporal Logic}
     1.7 -\framesubtitle{Motivation 1/2}
     1.8 +\framesubtitle{Natural language 1/2}
     1.9  \begin{center}
    1.10  ``It is dark.''\\
    1.11  \visible<2->{``It is \emph{always} dark.''\\}
    1.12 @@ -136,7 +136,7 @@
    1.13  
    1.14  \begin{frame}
    1.15  \frametitle{Linear Temporal Logic}
    1.16 -\framesubtitle{Motivation 2/2}
    1.17 +\framesubtitle{Natural language 2/2}
    1.18  \begin{center}
    1.19  \only<1->{
    1.20  \color{white}
    1.21 @@ -222,10 +222,23 @@
    1.22  \end{frame}
    1.23  
    1.24  \begin{frame}
    1.25 -\frametitle{Infinity}
    1.26 -\framesubtitle{Word as function}
    1.27 +\frametitle{Reactive Systems}
    1.28 +\framesubtitle{Infinite inputs}
    1.29  \begin{figure}
    1.30  \centering
    1.31 +
    1.32 +\subfigure{
    1.33 +\begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth   
    1.34 +    ,accepting/.style={fill, gray!50!black, text=white}]
    1.35 +\node[state, initial, initial text=$input$] (p) {$Program$};
    1.36 +\coordinate (b) at (1.1,0);
    1.37 +        %\coordinate (b) at ($(a)+1/2*(3,3)$);
    1.38 +\draw (p) edge[->] node[right] {$\,output$} (b);
    1.39 +%\draw[->] (p) -- (b);
    1.40 +\end{tikzpicture}
    1.41 +}
    1.42 +
    1.43 +\subfigure{
    1.44  \begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth   
    1.45      ,accepting/.style={fill, gray!50!black, text=white}]
    1.46  \node[state, initial, initial text=] (s_0) {$a$};
    1.47 @@ -238,6 +251,7 @@
    1.48  \path[dashed,->] 
    1.49  (s_2) edge node {} (s_i); 
    1.50  \end{tikzpicture}
    1.51 +}
    1.52  \end{figure}
    1.53  \end{frame}
    1.54