m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-12-16 17:36:00 +0100
committerMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-12-16 17:36:00 +0100
commit21762da12c107569905a9e3e4051fe0033833d61 (patch)
treec05a7f3ad110ef86744689925bb211083afb89cb
parent29f5d0b9c55179a60590d34953127cf8e0f19059 (diff)
Fix typo
-rw-r--r--mgr.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/mgr.tex b/mgr.tex
index 15fe64b..90fe948 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -788,7 +788,7 @@ interpreted as a bit vector signifying which unary relations $U_X$ a vertex is
assigned to.
By combining the above reductions, we can solve MSO query answering on trees by
-solving the relabel regular qustions problem on trees. Indeed, fix a formula
+solving the relabel regular qeustions problem on trees. Indeed, fix a formula
$\varphi(\vec{X})$ and take a tree $T$. Derive automaton $A$ and tree $T'$ as
above. Label each vertex of $T'$ with $0\ldots0$ (signifying that none of its
vertices have yet been assigned to any of the variables in $\vec{X}$).