aboutsummaryrefslogtreecommitdiff
path: root/exercises.tex
diff options
context:
space:
mode:
Diffstat (limited to 'exercises.tex')
-rw-r--r--exercises.tex29
1 files changed, 26 insertions, 3 deletions
diff --git a/exercises.tex b/exercises.tex
index 5c3ecda..0b71584 100644
--- a/exercises.tex
+++ b/exercises.tex
@@ -2,6 +2,9 @@
\usepackage[margin=2cm]{geometry}
+\PassOptionsToPackage{hyphens}{url}
+\usepackage[hidelinks]{hyperref}
+
\usepackage{enumitem}
\setenumerate[1]{label=\alph*)}
@@ -16,14 +19,28 @@
\fancyfoot[C]{Copyright {\textcopyright} 2015 Camil Staps}
\pagestyle{fancy}
+% Solution environment
+\newenvironment{solution}[1]{\medskip\noindent{\textbf{Exercise \thesection.#1}\rm\par}{\medskip}}
+
+% Note command
+\usepackage[usenames,dvipsnames,svgnames]{xcolor}
+\newcommand{\note}[1]{%
+ \colorbox{AntiqueWhite}{\parbox[t]{\linewidth}{%
+ \vspace{.5\baselineskip}\setlength{\leftskip}{.5\baselineskip}\setlength{\rightskip}{\leftskip}%
+ #1\par%
+ \vspace{.5\baselineskip}\setlength{\leftskip}{0pt}\setlength{\rightskip}{0pt}%
+ }}%
+}
+
+\usepackage{minted}
+\definecolor{mintedbg}{rgb}{0.9,0.9,0.9}
+%Todo write a pygments lexer for Clean
+
\usepackage{tikz}
\usetikzlibrary{positioning,arrows,automata}
\usepackage{amsmath}
-% Solution environment
-\newenvironment{solution}[1]{\medskip\noindent{\textbf{Exercise \thesection.#1}\rm\par}{\medskip}}
-
\parindent0pt
\title{Solutions to selected exercises from Thomas Sudkamp, \textit{Languages and Machines} (second edition)}
@@ -36,10 +53,16 @@
\setcounter{section}{8}
\section{Turing machines}
+
+\note{A Clean\footnotemark{} implementation of Turing machines may be found at \url{https://github.com/camilstaps/CleanTuringMachines} for testing purposes.}
+\footnotetext{\url{http://clean.cs.ru.nl}}
+
\input{ex9-1.tex}
\input{ex9-2.tex}
\input{ex9-3.tex}
\input{ex9-4.tex}
+\input{ex9-5.tex}
+\input{ex9-6.tex}
\end{document}