diff -r 3a2fa69ea675 -r 201c2c6d8696 handouts/ho02.tex --- a/handouts/ho02.tex Mon Oct 20 00:28:03 2014 +0100 +++ b/handouts/ho02.tex Tue Oct 28 06:01:00 2014 +0000 @@ -23,7 +23,7 @@ \begin{axis}[xlabel={\pcode{a}s},ylabel={time in secs}, enlargelimits=false, xtick={0,5,...,30}, - xmax=30, + xmax=33, ymax=35, ytick={0,5,...,30}, scaled ticks=false, @@ -35,7 +35,7 @@ legend cell align=left] \addplot[blue,mark=*, mark options={fill=white}] table {re-python.data}; -\addplot[brown,mark=pentagon*, mark options={fill=white}] +\addplot[brown,mark=triangle*, mark options={fill=white}] table {re-ruby.data}; \end{axis} \end{tikzpicture} @@ -44,8 +44,9 @@ \begin{axis}[xlabel={\pcode{a}s},ylabel={time in secs}, enlargelimits=false, xtick={0,3000,...,12000}, - xmax=12000, - ymax=35, ytick={0,5,...,30}, + xmax=12500, + ymax=35, + ytick={0,5,...,30}, scaled ticks=false, axis lines=left, width=6.5cm, @@ -291,16 +292,12 @@ Der\,c\,A\;\dn\;\{s\,|\,c\!::\!s \in A\} \] -\noindent -which essentially transforms a set of strings $A$ by filtering out all -strings that do not start with $c$ and then strips off the $c$ from -all the remaining strings. For example suppose $A = \{f\!oo, bar, -f\!rak\}$ then -\[ -Der\,f\,A = \{oo, rak\}\quad,\quad -Der\,b\,A = \{ar\} \quad \text{and} \quad -Der\,a\,A = \varnothing -\] +\noindent This operation essentially transforms a set of +strings $A$ by filtering out all strings that do not start +with $c$ and then strips off the $c$ from all the remaining +strings. For example suppose $A = \{f\!oo, bar, f\!rak\}$ then +\[ Der\,f\,A = \{oo, rak\}\quad,\quad Der\,b\,A = \{ar\} \quad +\text{and} \quad Der\,a\,A = \varnothing \] \noindent Note that in the last case $Der$ is empty, because no string in $A$