# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1370900376 -7200
# Node ID 19b94914c0db7bfcbf5166186fb18f3720bb5c1b
# Parent  fe6b8e2da038061e30efc974c857d11e79f14f5a
add small example to pda definition

diff -r fe6b8e2da038 -r 19b94914c0db notes/tex/ue07_notes.tex
--- a/notes/tex/ue07_notes.tex	Mon Jun 10 23:21:11 2013 +0200
+++ b/notes/tex/ue07_notes.tex	Mon Jun 10 23:39:36 2013 +0200
@@ -103,6 +103,15 @@
             \item Menge von \alert{Endzuständen} $F \subseteq Q$
         \end{itemize}
     \end{definition}
+
+    \begin{center}
+        \begin{tikzpicture}[automaton, node distance=4cm]
+            \node[state] (q0) {$q_i$};
+            \node[state] (q1) [right of = q0] {$q_j$};
+
+            \draw[every edge] (q0) edge node {$a, X/\gamma$} (q1);
+        \end{tikzpicture}
+    \end{center}
 \end{frame}
 
 \begin{frame}
@@ -190,6 +199,7 @@
             CFL & nein & ja & nein & ja & ja 
         \end{tabu}
     \end{table}
+    
     \begin{itemize}
         \item \alert{Entscheidbarkeit}
     \end{itemize}
diff -r fe6b8e2da038 -r 19b94914c0db notes/ue07_notes.pdf
Binary file notes/ue07_notes.pdf has changed