summaryrefslogtreecommitdiff
path: root/Assignment1/assignment1.tex
diff options
context:
space:
mode:
authorCamil Staps2018-04-17 20:38:43 +0200
committerCamil Staps2018-04-17 20:38:43 +0200
commit8e383ebefe66e573a1cf01c81eaabbc86748fdf0 (patch)
tree4076325327fbd1e0c813aa3d5a6d92b47996a520 /Assignment1/assignment1.tex
parentMuller Automata (diff)
Upper bound for minimal bad prefices
Diffstat (limited to 'Assignment1/assignment1.tex')
-rw-r--r--Assignment1/assignment1.tex13
1 files changed, 13 insertions, 0 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex
index 63645f1..1e5a55a 100644
--- a/Assignment1/assignment1.tex
+++ b/Assignment1/assignment1.tex
@@ -46,8 +46,20 @@
\newtheoremstyle{exercise}{1em}{1em}{}{}{\scshape}{.}{1em}{}
\theoremstyle{exercise}
\newtheorem{exercise}{Exercise}
+\newtheoremstyle{theorem}%
+ {1em}{1em}%
+ {\itshape}%
+ {}%
+ {\itshape\bfseries}%
+ {}%
+ {0pt}%
+ {\thmname{#1}\thmnumber{ #2}.\quad #3\\[4pt]}
+\theoremstyle{theorem}
+\newtheorem{theorem}{Theorem}
\usepackage{mathtools}
\usepackage{mdframed}
+\usepackage{algorithm}
+\usepackage{algpseudocode}
\usepackage{tikz}
\usetikzlibrary{automata,positioning}
\usepackage{relsize}
@@ -61,6 +73,7 @@
\crefname{xexample}{Example}{Examples}
\crefname{xremark}{Remark}{Remarks}
\crefname{exercise}{Exercise}{Exercises}
+\crefname{algorithm}{Algorithm}{Algorithms}
\usepackage[color]{changebar}
\newif\ifchangebar\changebarfalse
\let\oldcbend\cbend