Binary file hws/hw02.pdf has changed
--- 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
Binary file slides/slides03.pdf has changed
--- 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: