| 
     1 \documentclass{article} | 
         | 
     2 \usepackage{../style} | 
         | 
     3 \usepackage{../langs} | 
         | 
     4 \usepackage{../graphics} | 
         | 
     5 \usepackage{../data} | 
         | 
     6   | 
         | 
     7   | 
         | 
     8 \begin{document} | 
         | 
     9   | 
         | 
    10   | 
         | 
    11 \section*{Benchmarks for $(a^*)^* b$ and $a^{?\{n\}} a^{\{n\}}$} | 
         | 
    12   | 
         | 
    13 \mbox{}\bigskip | 
         | 
    14   | 
         | 
    15 \begin{center} | 
         | 
    16 $(a^*)^* \cdot b$ and strings $\underbrace{a\ldots a}_{n}$\medskip\\ | 
         | 
    17 \begin{tabular}{@{}cc@{}} | 
         | 
    18 \raisebox{5mm}{ | 
         | 
    19 \begin{tikzpicture} | 
         | 
    20 \begin{axis}[ | 
         | 
    21     xlabel={$n$}, | 
         | 
    22     x label style={at={(1.05,0.0)}}, | 
         | 
    23     ylabel={time in secs}, | 
         | 
    24     enlargelimits=false,  | 
         | 
    25     xtick={0,5,...,30}, | 
         | 
    26     xmax=33,  | 
         | 
    27     ymax=35,  | 
         | 
    28     ytick={0,5,...,30}, | 
         | 
    29     scaled ticks=false,  | 
         | 
    30     axis lines=left,  | 
         | 
    31     width=5cm,  | 
         | 
    32     height=5cm,   | 
         | 
    33     legend entries={Java, Python},   | 
         | 
    34     legend pos=north west,  | 
         | 
    35     legend cell align=left]  | 
         | 
    36 \addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data}; | 
         | 
    37 \addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data}; | 
         | 
    38 \end{axis} | 
         | 
    39 \end{tikzpicture}} | 
         | 
    40 &  | 
         | 
    41 \begin{tikzpicture} | 
         | 
    42   \begin{axis}[ | 
         | 
    43     xlabel={$n$}, | 
         | 
    44     x label style={at={(1.1,0.0)}}, | 
         | 
    45     %%xtick={0,1000000,...,5000000},  | 
         | 
    46     ylabel={time in secs}, | 
         | 
    47     enlargelimits=false,  | 
         | 
    48     ymax=35,  | 
         | 
    49     ytick={0,5,...,30}, | 
         | 
    50     axis lines=left,  | 
         | 
    51     %scaled ticks=false,  | 
         | 
    52     width=6.5cm,  | 
         | 
    53     height=5cm,  | 
         | 
    54     legend entries={Derivative matcher},   | 
         | 
    55     legend pos=north east,  | 
         | 
    56     legend cell align=left]  | 
         | 
    57 %\addplot[green,mark=square*,mark options={fill=white}] table {re2a.data};     | 
         | 
    58 \addplot[black,mark=square*,mark options={fill=white}] table {re3a.data}; | 
         | 
    59 \end{axis} | 
         | 
    60 \end{tikzpicture} | 
         | 
    61 \end{tabular} | 
         | 
    62 \end{center}\bigskip | 
         | 
    63   | 
         | 
    64 \begin{center} | 
         | 
    65 $a^{?\{n\}} \cdot a^{\{n\}}$ and strings $\underbrace{a\ldots a}_{n}$\medskip\\ | 
         | 
    66 \begin{tabular}{@{}cc@{}} | 
         | 
    67 \begin{tikzpicture} | 
         | 
    68 \begin{axis}[ | 
         | 
    69     xlabel={$n$}, | 
         | 
    70     x label style={at={(1.05,0.0)}}, | 
         | 
    71     ylabel={\small time in secs}, | 
         | 
    72     enlargelimits=false,  | 
         | 
    73     xtick={0,5,...,30}, | 
         | 
    74     xmax=33,  | 
         | 
    75     ymax=35,  | 
         | 
    76     ytick={0,5,...,30}, | 
         | 
    77     scaled ticks=false,  | 
         | 
    78     axis lines=left,  | 
         | 
    79     width=5cm,  | 
         | 
    80     height=5cm,   | 
         | 
    81     legend entries={Python,Ruby},   | 
         | 
    82     legend pos=north west,  | 
         | 
    83     legend cell align=left]  | 
         | 
    84 \addplot[blue,mark=*, mark options={fill=white}] table {re-python.data}; | 
         | 
    85 \addplot[brown,mark=triangle*, mark options={fill=white}] table {re-ruby.data};   | 
         | 
    86 \end{axis} | 
         | 
    87 \end{tikzpicture} | 
         | 
    88 &  | 
         | 
    89 \begin{tikzpicture} | 
         | 
    90   \begin{axis}[ | 
         | 
    91     xlabel={$n$}, | 
         | 
    92     x label style={at={(1.1,0.05)}}, | 
         | 
    93     ylabel={\small time in secs}, | 
         | 
    94     enlargelimits=false,  | 
         | 
    95     xtick={0,2500,...,11000}, | 
         | 
    96     xmax=12000,  | 
         | 
    97     ymax=35,  | 
         | 
    98     ytick={0,5,...,30}, | 
         | 
    99     scaled ticks=false,  | 
         | 
   100     axis lines=left,  | 
         | 
   101     width=6.5cm,  | 
         | 
   102     height=5cm,  | 
         | 
   103     legend entries={Derivative matcher},   | 
         | 
   104     legend pos=north east,  | 
         | 
   105     legend cell align=left]  | 
         | 
   106 %\addplot[green,mark=square*,mark options={fill=white}] table {re2.data}; | 
         | 
   107 \addplot[black,mark=square*,mark options={fill=white}] table {re3.data}; | 
         | 
   108 \end{axis} | 
         | 
   109 \end{tikzpicture} | 
         | 
   110 \end{tabular} | 
         | 
   111 \end{center} | 
         | 
   112   | 
         | 
   113   | 
         | 
   114 \subsubsection*{Sources} | 
         | 
   115   | 
         | 
   116   | 
         | 
   117 \url{http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/afl-material/raw-file/tip/progs/catastrophic.java}\medskip | 
         | 
   118   | 
         | 
   119 \noindent  | 
         | 
   120 \url{http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/afl-material/raw-file/tip/progs/catastrophic.py} | 
         | 
   121   | 
         | 
   122 \end{document} | 
         | 
   123   | 
         | 
   124   | 
         | 
   125   | 
         | 
   126   | 
         | 
   127 %%% Local Variables:   | 
         | 
   128 %%% mode: latex  | 
         | 
   129 %%% TeX-master: t  | 
         | 
   130 %%% End:   |