Mercurial > 14ss.theoinf
changeset 37:112bd0d1fa86 default tip
fix NFA definition - thanks Hendrik!
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Fri, 18 Jul 2014 21:54:34 +0200 |
parents | 531fdbd3ed92 |
children | |
files | notes/complete_notes.pdf notes/tex/automata.tex notes/ue02_notes.pdf |
diffstat | 3 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- 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}