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