slides/slides03.tex
changeset 662 7f7098f0b5f0
parent 651 d600bb069ab3
child 743 f063a6cd5d91
--- 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},]