Mercurial > 13ss.theoinf

changeset 45:8e79d33bdece

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
small fixes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Thu, 11 Jul 2013 22:06:34 +0200
parents 15351d87ce76
children 31c052a2fad5
files notes/tex/automatons.tex notes/tex/computation.tex
diffstat 2 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/notes/tex/automatons.tex	Thu Jul 11 22:06:26 2013 +0200
+++ b/notes/tex/automatons.tex	Thu Jul 11 22:06:34 2013 +0200
@@ -667,7 +667,6 @@
     \end{center}
 
     \vfill
-    \pause
 
     \begin{theorem}
         Für eine Darstellung $D$ einer regulären Sprache ist \alert{entscheidbar}:
--- a/notes/tex/computation.tex	Thu Jul 11 22:06:26 2013 +0200
+++ b/notes/tex/computation.tex	Thu Jul 11 22:06:34 2013 +0200
@@ -319,7 +319,7 @@
     \begin{align*}
         \delta(q_0, 0) &= (q_0, 0, R) \\
         \delta(q_0, \square) &= (ja, \square, L) \\
-        \delta(q_0, a) &= (nein, a, N) \qquad \text{für} a \neq 0, \square
+        \delta(q_0, a) &= (nein, a, N) \qquad \text{für } a \neq 0, \square
     \end{align*}
     \end{example}
 \end{frame}