LTL semantics.
authorEugen Sawin <sawine@me73.com>
Thu, 21 Jul 2011 00:53:49 +0200
changeset 633896639439a3
parent 62 bb9b5ce427ae
child 64 f8c1499ae6d3
LTL semantics.
slides/src/slides.tex
     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}