# HG changeset patch # User Chengsong # Date 1581199031 0 # Node ID 576ddb23f596f5e7e2ba3b5f08f9029be2b48c09 # Parent 0203065d13705dfea284a6289e43d6bdd116860e madly diff -r 0203065d1370 -r 576ddb23f596 etnms/etnms.tex --- 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