From 5de51f2643906035cdcc827a47a18413b97f1c56 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Thu, 14 Oct 2021 16:39:30 +0200 Subject: Reword --- mgr.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/mgr.tex b/mgr.tex index 4609c10..4c95210 100644 --- a/mgr.tex +++ b/mgr.tex @@ -166,10 +166,10 @@ order is in \constantdelaylin, and \textcite{kazana2013} revisit this result, proving it using deterministic factorization forests due to \textcite{colcombet} rather than Bagan's intricate indexing structure. -Colcombet's result could likely be used to solve the problem of branch infix -regular queries, which we introduce as a subproblem of MSO query answering in -Chapter \ref{branchinfix}. However, Colcombet's factorization depends on fairly -deep and complex applications of semigroup theory. We present a much more +Colcombet's factorization could likely be used to solve the problem of branch +infix regular queries, which we introduce as a subproblem of MSO query answering +in Chapter \ref{branchinfix}. However, Colcombet's result depends on fairly deep +and complex applications of semigroup theory. We present a much more straightforward algorithmic approach. \section{Organization} -- cgit v1.2.3