equal
deleted
inserted
replaced
454 %\end{tabular} |
454 %\end{tabular} |
455 %\end{center} |
455 %\end{center} |
456 |
456 |
457 \begin{center} |
457 \begin{center} |
458 \begin{mybox3}{} |
458 \begin{mybox3}{} |
|
459 \centering |
459 \bl{$\textit{matcher}\,r\,s \dn \textit{nullable}(\ders\;s\;r)$} |
460 \bl{$\textit{matcher}\,r\,s \dn \textit{nullable}(\ders\;s\;r)$} |
460 \end{mybox3} |
461 \end{mybox3} |
461 \end{center} |
462 \end{center} |
462 |
463 |
463 \end{frame} |
464 \end{frame} |
518 \item finally check whether the last regular expression can match the empty string |
519 \item finally check whether the last regular expression can match the empty string |
519 \end{enumerate} |
520 \end{enumerate} |
520 |
521 |
521 \end{frame} |
522 \end{frame} |
522 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
523 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
524 |
|
525 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
526 \begin{frame}[c] |
|
527 \frametitle{\boldmath\;$a^{?\{n\}} \cdot a^{\{n\}}$} |
|
528 |
|
529 \begin{center} |
|
530 \begin{tikzpicture} |
|
531 \begin{axis}[ |
|
532 xlabel={$n$}, |
|
533 x label style={at={(1.05,0.0)}}, |
|
534 ylabel={time in secs}, |
|
535 enlargelimits=false, |
|
536 xtick={0,5,...,30}, |
|
537 xmax=31, |
|
538 ytick={0,5,...,30}, |
|
539 scaled ticks=false, |
|
540 axis lines=left, |
|
541 width=7cm, |
|
542 height=7cm, |
|
543 legend entries={Python,Ruby}, |
|
544 legend pos=outer north east, |
|
545 legend cell align=left |
|
546 ] |
|
547 \addplot[blue,mark=*, mark options={fill=white}] |
|
548 table {re-python.data}; |
|
549 \addplot[brown,mark=pentagon*, mark options={fill=white}] |
|
550 table {re-ruby.data}; |
|
551 \end{axis} |
|
552 \end{tikzpicture} |
|
553 \end{center} |
|
554 |
|
555 \end{frame} |
|
556 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
557 |
523 |
558 |
524 |
559 |
525 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
560 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
526 \begin{frame}[c] |
561 \begin{frame}[c] |
527 \frametitle{Oops\ldots \boldmath\;$a^{?\{n\}} \cdot a^{\{n\}}$} |
562 \frametitle{Oops\ldots \boldmath\;$a^{?\{n\}} \cdot a^{\{n\}}$} |