bsc-projects-12.html
changeset 145 492cf8334e3b
parent 144 ee348904117f
child 151 ad63f8272397
equal deleted inserted replaced
144:ee348904117f 145:492cf8334e3b
    85   done with love. There
    85   done with love. There
    86   is also the book <i>Automata and Computability</i> by 
    86   is also the book <i>Automata and Computability</i> by 
    87   <A HREF="http://www.cs.cornell.edu/~kozen/">Dexter Kozen</A> including more 
    87   <A HREF="http://www.cs.cornell.edu/~kozen/">Dexter Kozen</A> including more 
    88   advanced material about automata.
    88   advanced material about automata.
    89   Finally, there are millions of other pointers about automata
    89   Finally, there are millions of other pointers about automata
    90   minimisation on the web.
    90   minimisation on the web. Finally, I will give a lot of the background in
       
    91   my Automata and Formal Languages course (6CCS3AFL), which starts in September.
    91   </p>
    92   </p>
    92 
    93 
    93   <p>
    94   <p>
    94   <B>Skills:</B> 
    95   <B>Skills:</B> 
    95   This is a project for a student with an interest in theory and some
    96   This is a project for a student with an interest in theory and some
   121   The central literature is obviously the papers
   122   The central literature is obviously the papers
   122   <A HREF="http://www.cs.unibo.it/~asperti/PAPERS/compact.pdf">here</A> and
   123   <A HREF="http://www.cs.unibo.it/~asperti/PAPERS/compact.pdf">here</A> and
   123   <A HREF="http://ww2.cs.mu.oz.au/~sulzmann/manuscript/reg-exp-partial-derivatives.pdf">here</A>.
   124   <A HREF="http://ww2.cs.mu.oz.au/~sulzmann/manuscript/reg-exp-partial-derivatives.pdf">here</A>.
   124   Asperti has also some slides <A HREF="http://www.cs.unibo.it/~asperti/SLIDES/regular.pdf">here</a>.
   125   Asperti has also some slides <A HREF="http://www.cs.unibo.it/~asperti/SLIDES/regular.pdf">here</a>.
   125   More references about regular expressions can be found
   126   More references about regular expressions can be found
   126   <A HREF="http://en.wikipedia.org/wiki/Regular_expression">here</A>.
   127   <A HREF="http://en.wikipedia.org/wiki/Regular_expression">here</A>. Like in
       
   128   [CU1], I will give a lot of the background pf this project in
       
   129   my Automata and Formal Languages course (6CCS3AFL).
   127   </p>  
   130   </p>  
   128 
   131 
   129   <p>
   132   <p>
   130   <B>Skills:</B> 
   133   <B>Skills:</B> 
   131   This is a project for a student with a passion for theory and some
   134   This is a project for a student with a passion for theory and some