18         style=mystyle,

    18         style=mystyle,

    19         numbersep=0pt,

    19         numbersep=0pt,

    20         numbers=none,

    20         numbers=none,

    21         xleftmargin=0mm}

    21         xleftmargin=0mm}

    22 

    22 

    24 

    24 

    25 \newcommand{\bl}[1]{\textcolor{blue}{#1}}     

    25 \newcommand{\bl}[1]{\textcolor{blue}{#1}}     

    26 

    26 

    27 % beamer stuff 

    27 % beamer stuff 

    28 \renewcommand{\slidecaption}{CFL 02, King's College London}

    28 \renewcommand{\slidecaption}{CFL 02, King's College London}

   885     ytick={0,10,...,30},

   885     ytick={0,10,...,30},

   886     scaled ticks=false,

   886     scaled ticks=false,

   887     axis lines=left,

   887     axis lines=left,

   888     width=9cm,

   888     width=9cm,

   889     height=5.5cm, 

   889     height=5.5cm, 

   891     legend pos=north west,

   891     legend pos=north west,

   892     legend cell align=left]

   892     legend cell align=left]

   893 \addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data};

   893 \addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data};

   894 \addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data};

   894 \addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data};

   895 \addplot[red,mark=*, mark options={fill=white}] table {re-js.data};

   895 \addplot[red,mark=*, mark options={fill=white}] table {re-js.data};

   896 \addplot[magenta,mark=*, mark options={fill=white}] table {re-swift.data};

   896 \addplot[magenta,mark=*, mark options={fill=white}] table {re-swift.data};

   897 \end{axis}

   898 \end{axis}

   898 \end{tikzpicture}

   899 \end{tikzpicture}

   899 \end{center}

   900 \end{center}

   900 

   901 

   901 Regex: \bl{$(a^*)^* \cdot b$}

   902 Regex: \bl{$(a^*)^* \cdot b$}