hws/hw01.tex
changeset 498 ea47c3b8f35f
parent 444 3056a4c071b0
child 507 fdbc7d0ec04f
--- a/hws/hw01.tex	Wed Jun 28 12:46:23 2017 +0100
+++ b/hws/hw01.tex	Thu Aug 03 01:21:19 2017 +0100
@@ -29,10 +29,11 @@
 
 \item Read the handout of the first lecture and the handout
       about notation. Make sure you understand the concepts of
-      strings and languages. In the context of the AFL-course,
+      strings and languages. In the context of the CFL-course,
       what is meant by the term \emph{language}?
 
-\item Give the definition for regular expressions. What is the
+    \item Give the definition for regular expressions---this is an
+      inductive datatype. What is the
       meaning of a regular expression? (Hint: The meaning is
       defined recursively.)
 
@@ -41,6 +42,7 @@
       \emph{concatenating} two sets of strings. This operation
       is also written as $\_ \,@\, \_$. According to 
       this definition, what is $A \,@\, \{\}$ equal to?
+      Is in general $A\,@\,B$ equal to $B\,@\,A$?
 
 \item Assume a set $A$ contains 4 strings and a set $B$
       contains 7 strings. None of the strings is the empty