diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-11 14:06:10 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-11 14:06:10 +0100 |
commit | 79546cf26cd8de3f686de3bdf4128abf692de883 (patch) | |
tree | c7e91178374eb46a21fcc9d354041c16f899574a | |
parent | b59f97f4f68512d631538f84c7a526a2cb39124e (diff) |
Fix subscript
-rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1058,7 +1058,7 @@ Regular languages are reversible, so we can preprocess $T$ for branch infix regular questions for each language $L_{q, q'}^R$ (where $\cdot^R$ denotes the reversed language). A question about whether the word on the path from $x$ down to $y$ belongs to $L_{q, q'}^R$ is the same as asking if the word from $y$ up to -$x$ belongs to $L{q,q'}$. Note that the number of languages we need to +$x$ belongs to $L_{q,q'}$. Note that the number of languages we need to preprocess for is constant in the size of the tree -- it only depends on the size of the automaton. |