diff options
author | Camil Staps | 2018-04-17 20:38:43 +0200 |
---|---|---|
committer | Camil Staps | 2018-04-17 20:38:43 +0200 |
commit | 8e383ebefe66e573a1cf01c81eaabbc86748fdf0 (patch) | |
tree | 4076325327fbd1e0c813aa3d5a6d92b47996a520 /Assignment1/assignment1.tex | |
parent | Muller Automata (diff) |
Upper bound for minimal bad prefices
Diffstat (limited to 'Assignment1/assignment1.tex')
-rw-r--r-- | Assignment1/assignment1.tex | 13 |
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 |