# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1415368081 0
# Node ID 5c51839c88fdb6090d1bdaaf0ba72cb86f7bf3aa
# Parent  796b9b81ac8daa55cd7b32fb9b1799c00f049bb6
updated

diff -r 796b9b81ac8d -r 5c51839c88fd handouts/ho06.pdf
Binary file handouts/ho06.pdf has changed
diff -r 796b9b81ac8d -r 5c51839c88fd handouts/ho06.tex
--- a/handouts/ho06.tex	Mon Nov 03 16:17:58 2014 +0000
+++ b/handouts/ho06.tex	Fri Nov 07 13:48:01 2014 +0000
@@ -1,45 +1,8 @@
 \documentclass{article}
-\usepackage{hyperref}
-\usepackage{amssymb}
-\usepackage{amsmath}
-\usepackage[T1]{fontenc}
-\usepackage{tikz}
-\usetikzlibrary{arrows}
-\usetikzlibrary{automata}
-\usetikzlibrary{shapes}
-\usetikzlibrary{shadows}
-\usetikzlibrary{positioning}
-\usetikzlibrary{calc}
-\usetikzlibrary{fit}
-\usetikzlibrary{backgrounds}
+\usepackage{../style}
 \usepackage{../langs}
 
 
-\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
-	
-\newcommand\grid[1]{%
-\begin{tikzpicture}[baseline=(char.base)]
-  \path[use as bounding box]
-    (0,0) rectangle (1em,1em);
-  \draw[red!50, fill=red!20]
-    (0,0) rectangle (1em,1em);
-  \node[inner sep=1pt,anchor=base west]
-    (char) at (0em,\gridraiseamount) {#1};
-\end{tikzpicture}}
-\newcommand\gridraiseamount{0.12em}
-
-\makeatletter
-\newcommand\Grid[1]{%
-  \@tfor\z:=#1\do{\grid{\z}}}
-\makeatother	
-
-\newcommand\Vspace[1][.3em]{%
-  \mbox{\kern.06em\vrule height.3ex}%
-  \vbox{\hrule width#1}%
-  \hbox{\vrule height.3ex}}
-
-\def\VS{\Vspace[0.6em]}
-	
 \begin{document}
 
 \section*{Handout 6 (Parser Combinators)}
@@ -65,13 +28,15 @@
 
 \begin{center}
 \begin{tikzpicture}
-[rect/.style={draw=black!50, top color=white,bottom color=black!20, rectangle, very thick, rounded corners}]
+[rect/.style={draw=black!50, 
+ top color=white,bottom color=black!20, 
+ rectangle, very thick, rounded corners}]
 
-\draw (0,0) node [rect, text depth=30mm, text width=46mm] {all languages};
-\draw (0,-0.4) node [rect, text depth=20mm, text width=44mm] {decidable languages};
-\draw (0,-0.65) node [rect, text depth=13mm] {context sensitive languages};
-\draw (0,-0.84) node [rect, text depth=7mm, text width=35mm] {context-free languages};
-\draw (0,-1.05) node [rect] {regular languages};
+\draw (0,0) node [rect, text depth=30mm, text width=46mm] {\small all languages};
+\draw (0,-0.4) node [rect, text depth=20mm, text width=44mm] {\small decidable languages};
+\draw (0,-0.65) node [rect, text depth=13mm] {\small context sensitive languages};
+\draw (0,-0.84) node [rect, text depth=7mm, text width=35mm] {\small context-free languages};
+\draw (0,-1.05) node [rect] {\small regular languages};
 \end{tikzpicture}
 \end{center}