tuned
authorChristian Urban <urbanc@in.tum.de>
Fri, 14 Sep 2012 11:46:54 +0100
changeset 145 492cf8334e3b
parent 144 ee348904117f
child 146 02e61308760e
tuned
bsc-projects-12.html
--- a/bsc-projects-12.html	Thu Sep 13 06:25:45 2012 +0100
+++ b/bsc-projects-12.html	Fri Sep 14 11:46:54 2012 +0100
@@ -87,7 +87,8 @@
   <A HREF="http://www.cs.cornell.edu/~kozen/">Dexter Kozen</A> including more 
   advanced material about automata.
   Finally, there are millions of other pointers about automata
-  minimisation on the web.
+  minimisation on the web. Finally, I will give a lot of the background in
+  my Automata and Formal Languages course (6CCS3AFL), which starts in September.
   </p>
 
   <p>
@@ -123,7 +124,9 @@
   <A HREF="http://ww2.cs.mu.oz.au/~sulzmann/manuscript/reg-exp-partial-derivatives.pdf">here</A>.
   Asperti has also some slides <A HREF="http://www.cs.unibo.it/~asperti/SLIDES/regular.pdf">here</a>.
   More references about regular expressions can be found
-  <A HREF="http://en.wikipedia.org/wiki/Regular_expression">here</A>.
+  <A HREF="http://en.wikipedia.org/wiki/Regular_expression">here</A>. Like in
+  [CU1], I will give a lot of the background pf this project in
+  my Automata and Formal Languages course (6CCS3AFL).
   </p>  
 
   <p>