# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1347619614 -3600
# Node ID 492cf8334e3b1a9d6d67af2af0d0d1f11a0da213
# Parent  ee348904117fb486e92d9b2de416f930752e3a95
tuned

diff -r ee348904117f -r 492cf8334e3b 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>