equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="utf-8"?> |
1 <?xml version="1.0" encoding="utf-8"?> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
3 <HEAD> |
3 <HEAD> |
4 <TITLE>2012/13 MSc Projects</TITLE> |
4 <TITLE>2012/13 MSc Projects</TITLE> |
5 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/"> |
5 <BASE HREF="http://nms.kcl.ac.uk/christian.urban/"> |
6 <script type="text/javascript" src="striper.js"></script> |
6 <script type="text/javascript" src="striper.js"></script> |
7 <link rel="stylesheet" href="nominal.css"> |
7 <link rel="stylesheet" href="nominal.css"> |
8 </HEAD> |
8 </HEAD> |
9 <BODY TEXT="#000000" |
9 <BODY TEXT="#000000" |
10 BGCOLOR="#4169E1" |
10 BGCOLOR="#4169E1" |
101 (for example subexpression matching, which my rainy-afternoon matcher cannot). I am sure they thought |
101 (for example subexpression matching, which my rainy-afternoon matcher cannot). I am sure they thought |
102 about the problem much longer than a single afternoon. The task |
102 about the problem much longer than a single afternoon. The task |
103 in this project is to find out how good they actually are by implementing the results from their paper. |
103 in this project is to find out how good they actually are by implementing the results from their paper. |
104 Their approach is based on the concept of partial derivatives introduced in 1994 by |
104 Their approach is based on the concept of partial derivatives introduced in 1994 by |
105 <A HREF="http://reference.kfupm.edu.sa/content/p/a/partial_derivatives_of_regular_expressio_1319383.pdf">Valentin Antimirov</A>. |
105 <A HREF="http://reference.kfupm.edu.sa/content/p/a/partial_derivatives_of_regular_expressio_1319383.pdf">Valentin Antimirov</A>. |
106 I used them once myself in a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">paper</A> |
106 I used them once myself in a <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">paper</A> |
107 in order to prove the <A HREF="http://en.wikipedia.org/wiki/Myhill–Nerode_theorem">Myhill-Nerode theorem</A>. |
107 in order to prove the <A HREF="http://en.wikipedia.org/wiki/Myhill–Nerode_theorem">Myhill-Nerode theorem</A>. |
108 So I know they are worth their money. Still, it would be interesting to actually compare their results |
108 So I know they are worth their money. Still, it would be interesting to actually compare their results |
109 with my simple rainy-afternoon matcher and potentially “blow away” the regular expression matchers |
109 with my simple rainy-afternoon matcher and potentially “blow away” the regular expression matchers |
110 in Python and Ruby (and possibly in Scala too). |
110 in Python and Ruby (and possibly in Scala too). |
111 </p> |
111 </p> |