equal
deleted
inserted
replaced
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://www.inf.kcl.ac.uk/staff/urbanc/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 "blow away" the regular matchers in Python and Ruby (and possibly |
109 with my simple rainy-afternoon matcher and "blow away" the regular expression matchers in Python and Ruby (and possibly |
110 in Scala too). |
110 in Scala too). |
111 </p> |
111 </p> |
112 |
112 |
113 <p> |
113 <p> |
114 <B>Literature:</B> |
114 <B>Literature:</B> |