# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1370901294 -7200
# Node ID 4e28756e3dba2ba5de1abb112bc25b59db39eb67
# Parent  19b94914c0db7bfcbf5166186fb18f3720bb5c1b
allow epsilon-edges in PDAs

diff -r 19b94914c0db -r 4e28756e3dba notes/tex/ue07_notes.tex
--- a/notes/tex/ue07_notes.tex	Mon Jun 10 23:39:36 2013 +0200
+++ b/notes/tex/ue07_notes.tex	Mon Jun 10 23:54:54 2013 +0200
@@ -97,7 +97,7 @@
             \item endlichen Menge von \alert{Zuständen} $Q$
             \item endlichen \alert{Eingabealphabet} $\Sigma$
             \item endlichen \alert{Kelleralphabet} $\Gamma$
-            \item \alert{Übergangsfunktion} $\delta : Q \times \Sigma \times \Gamma \mapsto P(Q \times \Gamma^*)$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \times \Gamma \mapsto P(Q \times \Gamma^*)$
             \item \alert{Startzustand} $q_0 \in Q$
             \item \alert{Kellerinitialisierung} $Z_0 \in \Gamma$
             \item Menge von \alert{Endzuständen} $F \subseteq Q$
@@ -121,7 +121,7 @@
     \begin{definition}[Kellerautomat]
         Ein \alert{PDA} (Push-Down-Automaton) ist ein Tupel $P = (Q, \Sigma, \Gamma, \delta, q_0, Z_0, F)$ aus einer/einem
         \begin{itemize}
-            \item \alert{Übergangsfunktion} $\delta : Q \times \Sigma \times \Gamma \mapsto P(Q \times \Gamma^*)$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \times \Gamma \mapsto P(Q \times \Gamma^*)$
         \end{itemize}
     \end{definition}
 
@@ -142,7 +142,8 @@
     \begin{definition}[Kellerautomat]
         Ein \alert{PDA} (Push-Down-Automaton) ist ein Tupel $P = (Q, \Sigma, \Gamma, \delta, q_0, Z_0, F)$ aus einer/einem
         \begin{itemize}
-            \item \alert{Übergangsfunktion} $\delta : Q \times \Sigma \times \Gamma \mapsto P(Q \times \Gamma^*)$
+
+            \item \alert{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \times \Gamma \mapsto P(Q \times \Gamma^*)$
         \end{itemize}
     \end{definition}
 
diff -r 19b94914c0db -r 4e28756e3dba notes/ue07_notes.pdf
Binary file notes/ue07_notes.pdf has changed