slides/slides02.tex
changeset 767 bdd12391d345
parent 765 b294cfbb5c01
child 769 f9686b22db7e
equal deleted inserted replaced
766:e8402d8ec8e6 767:bdd12391d345
   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$}