--- 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>