Reactive systems.
1.1 --- a/slides/notes.txt Fri Jul 22 15:55:34 2011 +0200
1.2 +++ b/slides/notes.txt Fri Jul 22 16:50:42 2011 +0200
1.3 @@ -163,7 +163,7 @@
1.4 Es existiert eine verallgemeinerte Form des Büchi-Automaten, welche bei der Automatenkonstruktion Vorteile bietet.
1.5 Der Unterschied liegt in der Akzeptanzbedingung.
1.6 Der verallgemeinerte Büchi-Automat definiert diese über eine endliche Menge von Mengen von akzeptierenden Zuständen.
1.7 -Ein Pfad RHO eines solchen Automaten ist akzeptierend gdw. es einen Zustand aus der jeweiligen Menge von akzeptierenden Zuständen gibt, der unendlich oft in RHO vorkommt.
1.8 +Ein Pfad RHO eines solchen Automaten ist akzeptierend gdw. es einen Zustand aus jeder Menge Fi aus dieser Mengenfamilie gibt, der unendlich oft in RHO vorkommt.
1.9 Wenn man sich die Definition anschaut, wird es offensichtlich, dass die akzeptierte Sprache eines verallgemeinerten Automaten equivalent ist zu der Schnittmenge der akzeptierten Sprachen von k Büchi-Automaten.
1.10
1.11 ==> 19
2.1 --- a/slides/src/slides.tex Fri Jul 22 15:55:34 2011 +0200
2.2 +++ b/slides/src/slides.tex Fri Jul 22 16:50:42 2011 +0200
2.3 @@ -123,7 +123,7 @@
2.4 \usebeamercolor*{frametitle}
2.5 \begin{frame}
2.6 \frametitle{Linear Temporal Logic}
2.7 -\framesubtitle{Motivation 1/2}
2.8 +\framesubtitle{Natural language 1/2}
2.9 \begin{center}
2.10 ``It is dark.''\\
2.11 \visible<2->{``It is \emph{always} dark.''\\}
2.12 @@ -136,7 +136,7 @@
2.13
2.14 \begin{frame}
2.15 \frametitle{Linear Temporal Logic}
2.16 -\framesubtitle{Motivation 2/2}
2.17 +\framesubtitle{Natural language 2/2}
2.18 \begin{center}
2.19 \only<1->{
2.20 \color{white}
2.21 @@ -222,10 +222,23 @@
2.22 \end{frame}
2.23
2.24 \begin{frame}
2.25 -\frametitle{Infinity}
2.26 -\framesubtitle{Word as function}
2.27 +\frametitle{Reactive Systems}
2.28 +\framesubtitle{Infinite inputs}
2.29 \begin{figure}
2.30 \centering
2.31 +
2.32 +\subfigure{
2.33 +\begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth
2.34 + ,accepting/.style={fill, gray!50!black, text=white}]
2.35 +\node[state, initial, initial text=$input$] (p) {$Program$};
2.36 +\coordinate (b) at (1.1,0);
2.37 + %\coordinate (b) at ($(a)+1/2*(3,3)$);
2.38 +\draw (p) edge[->] node[right] {$\,output$} (b);
2.39 +%\draw[->] (p) -- (b);
2.40 +\end{tikzpicture}
2.41 +}
2.42 +
2.43 +\subfigure{
2.44 \begin{tikzpicture}[shorten >=1pt, node distance=1.5cm, semithick, >=stealth
2.45 ,accepting/.style={fill, gray!50!black, text=white}]
2.46 \node[state, initial, initial text=] (s_0) {$a$};
2.47 @@ -238,6 +251,7 @@
2.48 \path[dashed,->]
2.49 (s_2) edge node {} (s_i);
2.50 \end{tikzpicture}
2.51 +}
2.52 \end{figure}
2.53 \end{frame}
2.54