Mercurial > 13ss.theoinf
changeset 29:19b94914c0db
add small example to pda definition
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Mon, 10 Jun 2013 23:39:36 +0200 |
parents | fe6b8e2da038 |
children | 4e28756e3dba |
files | notes/tex/ue07_notes.tex notes/ue07_notes.pdf |
diffstat | 2 files changed, 10 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- 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}