comparison notes/tex/ue04_notes.tex @ 28:fe6b8e2da038

ue07 notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 10 Jun 2013 23:21:11 +0200
parents 8b37b5ab61a5
children 90ffda7e20c7
comparison
equal deleted inserted replaced
27:f7b822da4fd7 28:fe6b8e2da038
146 \draw<-5>[->] (q0) edge node {$a$} (q1); 146 \draw<-5>[->] (q0) edge node {$a$} (q1);
147 \draw<-5>[->] (q0) edge node {$b$} (q2); 147 \draw<-5>[->] (q0) edge node {$b$} (q2);
148 \draw<-5>[->] (q1) edge node {$a,b$} (q3); 148 \draw<-5>[->] (q1) edge node {$a,b$} (q3);
149 \draw<-5>[->] (q2) edge node {$a,b$} (q3); 149 \draw<-5>[->] (q2) edge node {$a,b$} (q3);
150 \draw[->] (q3) edge [loop right] node [above] {$a,b$} (q3); 150 \draw[->] (q3) edge [loop right] node [above] {$a,b$} (q3);
151 151
152 \draw<6>[->] (q12) edge node {$a,b$} (q3); 152 \draw<6>[->] (q12) edge node {$a,b$} (q3);
153 \draw<6>[->] (q0) edge node {$a,b$} (q12); 153 \draw<6>[->] (q0) edge node {$a,b$} (q12);
154 \end{tikzpicture} 154 \end{tikzpicture}
155 \end{column} 155 \end{column}
156 \end{columns} 156 \end{columns}