just a lonely sentence for standard regexp

Janno · Oct 8, 2012 · 861702f · 861702f
1 parent 692990c
commit 861702f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/thesis/chpt_lang.tex b/thesis/chpt_lang.tex
@@ -241,6 +241,7 @@ \section{Definitions}
         r,s := \emptyset \; | \; \varepsilon \; | \; a \; | \; r^* \; | \; r + s \; | \; r s \; 
     \end{equation*}
 
+    Note that standard regular expressions correspond directly to Definition \ref{REG}.
 
     %\code{re_standard}{}{re_standard_standard}