LTL semantics.
1.1 --- a/slides/src/slides.tex Thu Jul 21 00:47:13 2011 +0200
1.2 +++ b/slides/src/slides.tex Thu Jul 21 00:53:49 2011 +0200
1.3 @@ -259,7 +259,7 @@
1.4 \color{black}
1.5 \vspace{20pt}
1.6 Accepts all inputs with infinite occurrences of $a$ or $b$.\\
1.7 -Does \emph{not} accept inputs where both $a$ and $b$ occur infinitely often.
1.8 +Does \emph{not} accept inputs with infinite occurrences of both $a$ and $b$.
1.9 }
1.10 %\caption{Automata from Example \ref{ex:automaton}}
1.11 \end{figure}