# HG changeset patch # User Christian Urban # Date 1759311440 -3600 # Node ID 5056d7de44af426c6f945f011a43a8e20b399d0d # Parent 95824be3d3f051819d6a2716d1581311c7437899 updated diff -r 95824be3d3f0 -r 5056d7de44af handouts/amm-ho.pdf Binary file handouts/amm-ho.pdf has changed diff -r 95824be3d3f0 -r 5056d7de44af hws/Der.pdf Binary file hws/Der.pdf has changed diff -r 95824be3d3f0 -r 5056d7de44af hws/Der.tex --- a/hws/Der.tex Sun Sep 28 18:57:33 2025 +0100 +++ b/hws/Der.tex Wed Oct 01 10:37:20 2025 +0100 @@ -38,7 +38,7 @@ \noindent where $\Sigma^*$ is in our case the set of all strings (what follows in this section also holds for any kind of ``domain'', like the set of all integers or -the set of all binary trees, etc). Let us assume $P(s)$ is a property that +the set of all binary trees, etc).\footnote{NOTE: In the videos and slides I use \textit{UNIV} as notation for $\Sigma^*$. } Let us assume $P(s)$ is a property that is about strings, for example $P(s)$ could be ``the string $s$ has an even length'', or ``the string $s$ starts with the letter \texttt{a}''. Every such property carves out a subset of strings from