changeset 662 | 8da26d4c2ca8 |
parent 651 | 652065f55d54 |
child 743 | 6acabeecdf75 |
--- a/slides/slides03.tex Thu Oct 17 13:41:30 2019 +0100 +++ b/slides/slides03.tex Thu Oct 17 14:02:59 2019 +0100 @@ -784,7 +784,7 @@ \frametitle{Subset Construction} -\begin{textblock}{5}(1,1) +\begin{textblock}{5}(1,1.5) \begin{center} \begin{tikzpicture}[node distance=6mm,scale=0.7,>=stealth',very thick, every state/.style={minimum size=0pt,draw=blue!50,very thick,fill=blue!20},]