hws/hw02.tex
changeset 930 0f92e2087520
parent 927 6bfda4b90702
child 940 1c1fbf45a03c
equal deleted inserted replaced
929:136105292ffd 930:0f92e2087520
   202 
   202 
   203 \item Give a regular expression over the alphabet $\{a,b\}$
   203 \item Give a regular expression over the alphabet $\{a,b\}$
   204       recognising all strings that do not contain any
   204       recognising all strings that do not contain any
   205       substring $bb$ and end in $a$.
   205       substring $bb$ and end in $a$.
   206 
   206 
   207       \solution{$((ba)^* \cdot (a)^*)^*\,\cdot\,a$}
   207       \solution{$((ba)^* \cdot (a)^*)^*\,\cdot\,a + ba$ \quad Not sure whether this can be simplified.}
   208 
   208 
   209 \item Do $(a + b)^* \cdot b^+$ and $(a^* \cdot b^+) +
   209 \item Do $(a + b)^* \cdot b^+$ and $(a^* \cdot b^+) +
   210   (b^*\cdot b^+)$ define the same language?
   210   (b^*\cdot b^+)$ define the same language?
   211 
   211 
   212   \solution{No, the first one can match for example abababababbbbb
   212   \solution{No, the first one can match for example abababababbbbb