# HG changeset patch
# User Chengsong
# Date 1688950412 -3600
# Node ID fa7552396c71a029981aa710ae3828ed95e2cc56
# Parent  71502e4d8691fed1fd5c2e6fe64a0003a7457359
more

diff -r 71502e4d8691 -r fa7552396c71 ChengsongTanPhdThesis/Chapters/Finite.tex
--- a/ChengsongTanPhdThesis/Chapters/Finite.tex	Mon Jul 10 01:51:46 2023 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Finite.tex	Mon Jul 10 01:53:32 2023 +0100
@@ -218,6 +218,11 @@
 if we omit the way these regular expressions need to be nested.
 where each $r_i$ ($i \in \{1, \ldots, n\}$) is related to some fragments
 of $r$ and $s$.
+We call the precise formalisation for the shape of 
+\[
+ r_1 + r_2 + r_3 + \ldots + r_n
+\]
+"closed form".
 The second important observation is that the list %of regular expressions
 $[r_1, \ldots, r_n]$ %is not
 cannot grow indefinitely because they all come from $r$, and derivatives