Example for satisfaction by words; still needed: satisfaction by TS (and equivalence)

1 files changed, 10 insertions, 0 deletions

diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex
index e859f41..c1e6a0d 100644
--- a/Assignment1/assignment1.tex
+++ b/Assignment1/assignment1.tex
@@ -62,6 +62,8 @@
 \usepackage{algpseudocode}
 \usepackage{tikz}
 \usetikzlibrary{automata,positioning}
+\tikzset{>=stealth}
+\tikzset{state/.append style={minimum size=15pt}}
 \usepackage{relsize}
 \usepackage{parskip}
 \usepackage{cleveref}
@@ -111,14 +113,22 @@
 \setcounter{section}{5}
 \setcounter{subsection}{2}
 
+% The extra newlines are needed for correct changebars
+
 \input{intro}
+
 \input{syntax}
+
 \input{semantics}
+
 \input{equivalence}
+
 \input{conversion}
+
 \input{bad-prefix}
 
 \input{summary}
+
 \input{exercises}
 
 \both