1704 But requires that the automaton is \alert{completed}! |
1704 But requires that the automaton is \alert{completed}! |
1705 |
1705 |
1706 \end{frame} |
1706 \end{frame} |
1707 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1707 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1708 |
1708 |
|
1709 { |
|
1710 \setbeamercolor{background canvas}{bg=cream} |
|
1711 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1712 \begin{frame}[c] |
|
1713 \frametitle{\boldmath{}$(a^*)^* \cdot b$} |
|
1714 |
|
1715 \begin{center} |
|
1716 \begin{tikzpicture} |
|
1717 \begin{axis}[ |
|
1718 xlabel={\pcode{a}s}, |
|
1719 %%x label style={at={(1.05,0.0)}}, |
|
1720 ylabel={time in secs}, |
|
1721 enlargelimits=false, |
|
1722 xtick={0,15,...,30}, |
|
1723 xmax=33, |
|
1724 ymax=35, |
|
1725 ytick={0,5,...,30}, |
|
1726 scaled ticks=false, |
|
1727 axis lines=left, |
|
1728 width=9cm, |
|
1729 height=6cm, |
|
1730 legend entries={Java 8,Python,JavaScript,Swift,Dart}, |
|
1731 legend pos=outer north east, |
|
1732 legend cell align=left] |
|
1733 \addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data}; |
|
1734 \addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data}; |
|
1735 \addplot[red,mark=*, mark options={fill=white}] table {re-js.data}; |
|
1736 \addplot[magenta,mark=*, mark options={fill=white}] table {re-swift.data}; |
|
1737 \addplot[brown,mark=*, mark options={fill=white}] table {re-dart.data}; |
|
1738 |
|
1739 %\addplot[red,mark=triangle*, mark options={fill=red}] table {nfadepth2.data}; |
|
1740 \end{axis} |
|
1741 \end{tikzpicture} |
|
1742 \end{center} |
|
1743 |
|
1744 \end{frame}} |
|
1745 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1746 |
|
1747 \begin{frame}<1-3>[c] |
|
1748 \end{frame} |
|
1749 |
1709 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1750 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1710 { |
1751 { |
1711 \setbeamercolor{background canvas}{bg=cream} |
1752 \setbeamercolor{background canvas}{bg=cream} |
1712 \begin{frame}[c] |
1753 \begin{frame}[c] |
1713 |
1754 |