Mercurial > 13ss.theoinf
comparison notes/tex/ue07_notes.tex @ 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 |
comparison
equal
deleted
inserted
replaced
| 28:fe6b8e2da038 | 29:19b94914c0db |
|---|---|
| 101 \item \alert{Startzustand} $q_0 \in Q$ | 101 \item \alert{Startzustand} $q_0 \in Q$ |
| 102 \item \alert{Kellerinitialisierung} $Z_0 \in \Gamma$ | 102 \item \alert{Kellerinitialisierung} $Z_0 \in \Gamma$ |
| 103 \item Menge von \alert{Endzuständen} $F \subseteq Q$ | 103 \item Menge von \alert{Endzuständen} $F \subseteq Q$ |
| 104 \end{itemize} | 104 \end{itemize} |
| 105 \end{definition} | 105 \end{definition} |
| 106 | |
| 107 \begin{center} | |
| 108 \begin{tikzpicture}[automaton, node distance=4cm] | |
| 109 \node[state] (q0) {$q_i$}; | |
| 110 \node[state] (q1) [right of = q0] {$q_j$}; | |
| 111 | |
| 112 \draw[every edge] (q0) edge node {$a, X/\gamma$} (q1); | |
| 113 \end{tikzpicture} | |
| 114 \end{center} | |
| 106 \end{frame} | 115 \end{frame} |
| 107 | 116 |
| 108 \begin{frame} | 117 \begin{frame} |
| 109 \frametitle{Kellerautomaten} | 118 \frametitle{Kellerautomaten} |
| 110 \setbeamercovered{dynamic} | 119 \setbeamercovered{dynamic} |
| 188 & Schnitt & Vereinigung & Komplement & Produkt & Stern \\ \tabucline{} | 197 & Schnitt & Vereinigung & Komplement & Produkt & Stern \\ \tabucline{} |
| 189 REG & ja & ja & ja & ja & ja\\ | 198 REG & ja & ja & ja & ja & ja\\ |
| 190 CFL & nein & ja & nein & ja & ja | 199 CFL & nein & ja & nein & ja & ja |
| 191 \end{tabu} | 200 \end{tabu} |
| 192 \end{table} | 201 \end{table} |
| 202 | |
| 193 \begin{itemize} | 203 \begin{itemize} |
| 194 \item \alert{Entscheidbarkeit} | 204 \item \alert{Entscheidbarkeit} |
| 195 \end{itemize} | 205 \end{itemize} |
| 196 \begin{table} | 206 \begin{table} |
| 197 \begin{tabu}to \textwidth{X[c]|cccc} | 207 \begin{tabu}to \textwidth{X[c]|cccc} |