diff options
| -rw-r--r-- | mgr.tex | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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. |