# HG changeset patch # User Christian Urban # Date 1665746167 -3600 # Node ID 00ffcd796ffb9301b97d2b307f2560eee714376a # Parent 646f985b512e4f2c10d4d3a32716bf7afb7276e4 updated diff -r 646f985b512e -r 00ffcd796ffb hws/hw02.pdf Binary file hws/hw02.pdf has changed diff -r 646f985b512e -r 00ffcd796ffb hws/hw02.tex --- a/hws/hw02.tex Fri Oct 14 00:32:13 2022 +0100 +++ b/hws/hw02.tex Fri Oct 14 12:16:07 2022 +0100 @@ -123,7 +123,7 @@ (b) binary numbers. Hint: Observe that the empty string is not a number. Also observe that leading 0s are normally not written---for example the JSON format for numbers - explicitly forbids this. + explicitly forbids this. So 007 is not a number according to JSON. \solution{Just numbers without leading 0s: $0 + (1..9)\cdot(0..1)^*$; can be extended to decimal; similar for binary numbers diff -r 646f985b512e -r 00ffcd796ffb slides/slides03.pdf Binary file slides/slides03.pdf has changed diff -r 646f985b512e -r 00ffcd796ffb slides/slides03.tex --- a/slides/slides03.tex Fri Oct 14 00:32:13 2022 +0100 +++ b/slides/slides03.tex Fri Oct 14 12:16:07 2022 +0100 @@ -1706,6 +1706,47 @@ \end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +{ +\setbeamercolor{background canvas}{bg=cream} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\begin{frame}[c] + \frametitle{\boldmath{}$(a^*)^* \cdot b$} + +\begin{center} +\begin{tikzpicture} + \begin{axis}[ + xlabel={\pcode{a}s}, + %%x label style={at={(1.05,0.0)}}, + ylabel={time in secs}, + enlargelimits=false, + xtick={0,15,...,30}, + xmax=33, + ymax=35, + ytick={0,5,...,30}, + scaled ticks=false, + axis lines=left, + width=9cm, + height=6cm, + legend entries={Java 8,Python,JavaScript,Swift,Dart}, + legend pos=outer north east, + legend cell align=left] +\addplot[blue,mark=*, mark options={fill=white}] table {re-python2.data}; +\addplot[cyan,mark=*, mark options={fill=white}] table {re-java.data}; +\addplot[red,mark=*, mark options={fill=white}] table {re-js.data}; +\addplot[magenta,mark=*, mark options={fill=white}] table {re-swift.data}; +\addplot[brown,mark=*, mark options={fill=white}] table {re-dart.data}; + +%\addplot[red,mark=triangle*, mark options={fill=red}] table {nfadepth2.data}; +\end{axis} +\end{tikzpicture} +\end{center} + +\end{frame}} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\begin{frame}<1-3>[c] +\end{frame} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% { \setbeamercolor{background canvas}{bg=cream} @@ -1762,6 +1803,17 @@ \end{mybox3} \end{frame} + +\begin{frame}[c] + \begin{itemize} + \item CW + \item power law / proof + \item CW feedback + \item too polished CW submissions + \end{itemize} +\end{frame} + + \end{document} %%% Local Variables: