Mercurial > 13ss.theoinf
changeset 45:8e79d33bdece
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}