Mercurial > 14ss.theoinf
comparison notes/tex/computation.tex @ 3:624c6e0e4383
first slides
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Sun, 13 Apr 2014 20:22:34 +0200 |
parents | a9275b863a0d |
children | efd13093bd47 |
comparison
equal
deleted
inserted
replaced
2:dcbc3181a802 | 3:624c6e0e4383 |
---|---|
150 \begin{center} | 150 \begin{center} |
151 \begin{tikzpicture}[auto] | 151 \begin{tikzpicture}[auto] |
152 \tikzstyle{rect} = [thick]; | 152 \tikzstyle{rect} = [thick]; |
153 \tikzstyle{caption} = [align=left, anchor=north west]; | 153 \tikzstyle{caption} = [align=left, anchor=north west]; |
154 | 154 |
155 \chomsky{tumblue}{}{0}{Berechenbare Funktionen}; | 155 \chomsky{tumlightblue}{}{0}{Alle formalen Sprachen}; |
156 \chomsky{tumred}{dashed}{1}{Typ 0 - Rekursiv aufzählbar\\Turingmaschinen, $\lambda$-Kalkül}; | 156 \chomsky{tumred}{}{1}{Typ 0 - Rekursiv aufzählbar\\Grammatik}; |
157 \chomsky{tumivory}{}{2}{Typ 1 - Kontextsensitiv\\CSG}; | 157 \chomsky{tumblue}{}{2}{Typ 1 - Kontextsensitiv\\Längenmonotone Grammatik}; |
158 \chomsky{tumorange}{}{3}{Typ 2 - Kontextfrei\\PDA, CFG}; | 158 \chomsky{tumorange}{}{3}{Typ 2 - Kontextfrei\\Links nur ein Nichtterminal}; |
159 \chomsky{tumgreen}{}{4}{Typ 3 - Regulär\\DFA, RE}; | 159 \chomsky{tumgreen}{}{4}{Typ 3 - Regulär\\Links- / Rechtsreguläre Grammatik}; |
160 \end{tikzpicture} | 160 \end{tikzpicture} |
161 \end{center} | 161 \end{center} |
162 \end{frame} | 162 \end{frame} |
163 } | 163 } |
164 | 164 |