--- a/etnms/etnms.tex Sat Feb 08 21:53:06 2020 +0000
+++ b/etnms/etnms.tex Sat Feb 08 21:57:11 2020 +0000
@@ -109,6 +109,8 @@
\section{Introduction}
+%Regular expressions' derivatives, which have received
+%renewed interest in the new millenium, is a beautiful....
While we believe derivatives of regular expressions, written
$r\backslash s$, are a beautiful concept (in terms of ease of
implementing them in functional programming languages and in terms of
@@ -143,7 +145,6 @@
\section{Recapitulation of Concepts From the Last Report}
\subsection*{Regular Expressions and Derivatives}
-
Suppose (basic) regular expressions are given by the following grammar:
\[ r ::= \ZERO \mid \ONE