equal
deleted
inserted
replaced
599 We represented the ``n-times'' \bl{$a^{\{n\}}$} as a |
599 We represented the ``n-times'' \bl{$a^{\{n\}}$} as a |
600 sequence regular expression: |
600 sequence regular expression: |
601 |
601 |
602 \begin{center} |
602 \begin{center} |
603 \begin{tabular}{rl} |
603 \begin{tabular}{rl} |
|
604 0: & \bl{$\ONE$}\\ |
604 1: & \bl{$a$}\\ |
605 1: & \bl{$a$}\\ |
605 2: & \bl{$a\cdot a$}\\ |
606 2: & \bl{$a\cdot a$}\\ |
606 3: & \bl{$a\cdot a\cdot a$}\\ |
607 3: & \bl{$a\cdot a\cdot a$}\\ |
607 & \ldots\\ |
608 & \ldots\\ |
608 13: & \bl{$a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a$}\\ |
609 13: & \bl{$a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a\cdot a$}\\ |
771 ytick={0,10,...,30}, |
772 ytick={0,10,...,30}, |
772 scaled ticks=false, |
773 scaled ticks=false, |
773 axis lines=left, |
774 axis lines=left, |
774 width=9cm, |
775 width=9cm, |
775 height=5.5cm, |
776 height=5.5cm, |
776 legend entries={Java 8, Python, JavaScript}, |
777 legend entries={Java 8, Python, JavaScript, Swift}, |
777 legend pos=north west, |
778 legend pos=north west, |
778 legend cell align=left] |
779 legend cell align=left] |
779 \addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data}; |
780 \addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data}; |
780 \addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data}; |
781 \addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data}; |
781 \addplot[red,mark=*, mark options={fill=white}] table {re-js.data}; |
782 \addplot[red,mark=*, mark options={fill=white}] table {re-js.data}; |
|
783 \addplot[magenta,mark=*, mark options={fill=white}] table {re-swift.data}; |
782 \end{axis} |
784 \end{axis} |
783 \end{tikzpicture} |
785 \end{tikzpicture} |
784 \end{center} |
786 \end{center} |
785 |
787 |
786 Regex: \bl{$(a^*)^* \cdot b$} |
788 Regex: \bl{$(a^*)^* \cdot b$} |