m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mgr.tex7
1 files changed, 4 insertions, 3 deletions
diff --git a/mgr.tex b/mgr.tex
index eb086ba..81ca956 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -181,11 +181,12 @@ The rest of our work is organized in the following way:
\begin{itemize}
\item In particular, Section \ref{query-answering-problems} serves
as a short review of some fundamental algorithms for solving
- query answering problems related to trees and regular languages.
+ problems related to trees and regular languages where a
+ structure is preprocessed and then questions about it are
+ answered.
\end{itemize}
\item In Chapter \ref{branchinfix} we solve an important subproblem, which
- is a generalization of a well known algorithm about words to the tree
- case.
+ is a generalization of a known algorithm about words to the tree case.
\item In Chapter \ref{mso-query-answering} we arrive at our main result by
reducing Problem \ref{mso-query-answering-problem} to Problem
\ref{relabel-regular-queries} and solving it.