# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1405713274 -7200
# Node ID 112bd0d1fa8668be93d1f5d3b0fab87d5124cfa6
# Parent  531fdbd3ed920822732be0328de5ee99862a0e42
fix NFA definition - thanks Hendrik!

diff -r 531fdbd3ed92 -r 112bd0d1fa86 notes/complete_notes.pdf
Binary file notes/complete_notes.pdf has changed
diff -r 531fdbd3ed92 -r 112bd0d1fa86 notes/tex/automata.tex
--- a/notes/tex/automata.tex	Fri Jul 18 12:18:28 2014 +0200
+++ b/notes/tex/automata.tex	Fri Jul 18 21:54:34 2014 +0200
@@ -63,7 +63,7 @@
         Ein \structure{NFA} ist ein Tupel $N = (Q, \Sigma, \delta, S, F)$ mit
         \begin{itemize}
             \item $Q, \Sigma, F$ wie ein DFA
-            \item Menge von \structure{Startzuständen} $S \subseteq F$
+            \item Menge von \structure{Startzuständen} $S \subseteq Q$
             \item \structure{Übergangsfunktion} $\delta : Q \times \Sigma \to \powerset{Q}$
         \end{itemize}
     \end{definition}
@@ -84,7 +84,7 @@
         Ein \structure{$\epsilon$-NFA} ist ein Tupel $N = (Q, \Sigma, \delta, S, F)$ mit
         \begin{itemize}
             \item $Q, \Sigma, F$ wie ein DFA
-            \item Menge von \structure{Startzuständen} $S \subseteq F$
+            \item Menge von \structure{Startzuständen} $S \subseteq Q$
             \item \structure{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \to \powerset{Q}$
         \end{itemize}
     \end{definition}
diff -r 531fdbd3ed92 -r 112bd0d1fa86 notes/ue02_notes.pdf
Binary file notes/ue02_notes.pdf has changed