Mercurial > 14ss.theoinf
comparison notes/tex/automatons.tex @ 14:d5b561a49683
better block description
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Mon, 05 May 2014 14:41:06 +0200 |
| parents | 834da46b1edb |
| children |
comparison
equal
deleted
inserted
replaced
| 13:834da46b1edb | 14:d5b561a49683 |
|---|---|
| 176 \defineUnit{rezuenfa}{% | 176 \defineUnit{rezuenfa}{% |
| 177 \begin{frame} | 177 \begin{frame} |
| 178 \frametitle{RE $\rightarrow$ $\epsilon$-NFA} | 178 \frametitle{RE $\rightarrow$ $\epsilon$-NFA} |
| 179 \setbeamercovered{dynamic} | 179 \setbeamercovered{dynamic} |
| 180 | 180 |
| 181 \begin{block}{Idee (Kleene)} | 181 \begin{block}{Thompson-Konstruktion} |
| 182 Für einen Ausdruck \alert{$\gamma$} wird rekursiv mit struktureller Induktion ein $\epsilon$-NFA konstruiert. | 182 Für einen Ausdruck \alert{$\gamma$} wird rekursiv mit struktureller Induktion ein $\epsilon$-NFA konstruiert. |
| 183 \end{block} | 183 \end{block} |
| 184 | 184 |
| 185 \begin{tabu} to \linewidth {XXX} | 185 \begin{tabu} to \linewidth {XXX} |
| 186 \alert{$\gamma = \emptyset$} & \alert{$\gamma = \epsilon$} & \alert{$\gamma = a \in \Sigma$} \\ | 186 \alert{$\gamma = \emptyset$} & \alert{$\gamma = \epsilon$} & \alert{$\gamma = a \in \Sigma$} \\ |