# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1373573194 -7200
# Node ID 8e79d33bdececc4b9284df071dea8ea859271ab8
# Parent  15351d87ce76fbd55593fb20eb1b626ce4ae50db
 small fixes

diff -r 15351d87ce76 -r 8e79d33bdece notes/tex/automatons.tex
--- 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}:
diff -r 15351d87ce76 -r 8e79d33bdece notes/tex/computation.tex
--- 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}