equal
deleted
inserted
replaced
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 |