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   |