# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1311360555 -7200
# Node ID e7c58603ff089bedccb62148967b639e2cf039da
# Parent  ab0b7643228aff8d08bcc98a7ae93320227fa3d8
Reactive program graph.

diff -r ab0b7643228a -r e7c58603ff08 slides/src/slides.tex
--- a/slides/src/slides.tex	Fri Jul 22 16:50:42 2011 +0200
+++ b/slides/src/slides.tex	Fri Jul 22 20:49:15 2011 +0200
@@ -224,35 +224,32 @@
 \begin{frame}
 \frametitle{Reactive Systems}
 \framesubtitle{Infinite inputs}
+\begin{center}
 \begin{figure}
-\centering
-
-\subfigure{
+\setcounter{subfigure}{0} 
+\subfigure[Terminating program]{
 \begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth   
     ,accepting/.style={fill, gray!50!black, text=white}]
-\node[state, initial, initial text=$input$] (p) {$Program$};
-\coordinate (b) at (1.1,0);
+\node[state, initial, initial text=$input$] (p) {$P$};
+\coordinate (b) at (1,0);
         %\coordinate (b) at ($(a)+1/2*(3,3)$);
-\draw (p) edge[->] node[right] {$\,output$} (b);
+\draw (p) edge[->] node[right] {$\hspace{8pt}output$} (b);
 %\draw[->] (p) -- (b);
 \end{tikzpicture}
 }
-
-\subfigure{
+\hspace{10pt}
+\visible<2>{\subfigure[Reactive program]{
 \begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth   
     ,accepting/.style={fill, gray!50!black, text=white}]
-\node[state, initial, initial text=] (s_0) {$a$};
-\node[state] (s_1) [right of= s_0] {$b$};
-\node[state] (s_2) [right of= s_1] {$a$};
-\node[state] (s_i) [right of= s_2] {$a$};
-\path[->] 
-(s_0) edge node {} (s_1) 
-(s_1) edge node {} (s_2);
-\path[dashed,->] 
-(s_2) edge node {} (s_i); 
+\node[state, initial, initial text=$event$] (p) {$RP$};
+\coordinate (b) at (1.1,0);
+        %\coordinate (b) at ($(a)+1/2*(3,3)$);
+\path[->]
+(p) edge [loop right] node {$action$} ();
 \end{tikzpicture}
-}
+}}
 \end{figure}
+\end{center}
 \end{frame}
 
 \begin{frame}