diff -r ae516c20c5f1 -r 4dac76eb27d9 msc-projects-12.html
--- a/msc-projects-12.html Sat Jan 28 06:40:19 2017 +0000
+++ b/msc-projects-12.html Sat Jan 28 07:17:00 2017 +0000
@@ -2,7 +2,7 @@
2012/13 MSc Projects
-
+
@@ -103,7 +103,7 @@
in this project is to find out how good they actually are by implementing the results from their paper.
Their approach is based on the concept of partial derivatives introduced in 1994 by
Valentin Antimirov.
- I used them once myself in a paper
+ I used them once myself in a paper
in order to prove the Myhill-Nerode theorem.
So I know they are worth their money. Still, it would be interesting to actually compare their results
with my simple rainy-afternoon matcher and potentially “blow away” the regular expression matchers