hws/hw02.tex
changeset 471 9476086849ad
parent 444 3056a4c071b0
child 499 dfd0f41f8668
--- a/hws/hw02.tex	Mon Nov 14 15:50:42 2016 +0000
+++ b/hws/hw02.tex	Sat Jan 07 14:52:26 2017 +0000
@@ -96,7 +96,7 @@
   zeroable(\sim r) \dn \neg(zeroable(r))
   \]
 
-      Find out why?
+      Find a counter example?
 
 \item Give a regular expressions that can recognise all
       strings from the language $\{a^n\;|\;\exists k.\; n = 3 k