equal
deleted
inserted
replaced
1329 legend pos=north west, |
1329 legend pos=north west, |
1330 legend cell align=left] |
1330 legend cell align=left] |
1331 \addplot[cyan,mark=*, mark options={fill=white}] table {good-java.data}; |
1331 \addplot[cyan,mark=*, mark options={fill=white}] table {good-java.data}; |
1332 \end{axis} |
1332 \end{axis} |
1333 \end{tikzpicture}\\ |
1333 \end{tikzpicture}\\ |
1334 \multicolumn{3}{c}{Graphs: Runtime for matching $(a^*)^*\,b$ with strings |
1334 \multicolumn{3}{c}{Graphs: Runtime for matching $a^*\,b$ with strings |
1335 of the form $\underbrace{aa..a}_{n}$.} |
1335 of the form $\underbrace{aa..a}_{n}$.} |
1336 \end{tabular} |
1336 \end{tabular} |
1337 \end{center} |
1337 \end{center} |
1338 |
1338 |
1339 |
1339 |