612 %Our next step is to leverage these frameworks

   612 %Our next step is to leverage these frameworks

   613 %It is a precursor to our 

   613 %It is a precursor to our 

   614 Our work focuses on the space complexity of the algorithm under our notion of the size of 

   614 Our work focuses on the space complexity of the algorithm under our notion of the size of 

   615 a regular expression.

   615 a regular expression.

   616 Despite not being a direct asymptotic time complexity proof,

   616 Despite not being a direct asymptotic time complexity proof,

   618 

   619 

   619 

   620 

   620 Brzozowski showed that there are finitely many similar deriviatives, 

   621 Brzozowski showed that there are finitely many similar deriviatives, 

   621 where similarity is defined in terms of ACI equations. 

   622 where similarity is defined in terms of ACI equations. 

   622 This allows him to use derivatives as a basis for DFAs where each state is 

   623 This allows him to use derivatives as a basis for DFAs where each state is