diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-10-07 13:08:18 +0200 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-10-07 13:08:18 +0200 |
commit | 9a1dbecbf696e64811d20de2217aa375fe87a2fb (patch) | |
tree | c456c80db1684a7fff61ba7efbe9a619c0e7edb3 | |
parent | fc8c28b4e504c8aa02bbdd531d7265fe882f3ae5 (diff) |
Remove superfluous 'the'
-rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -130,7 +130,7 @@ Consider the case of binary trees labeled with $\Sigma$. A \end{itemize} A \definedterm{run} of tree automaton $A$ over tree $T$ is a relabeling of $T$ -with the elements of $Q$ such that +with elements of $Q$ such that \begin{itemize} \item Each leaf with label $a \in \Sigma$ is relabeled with $\iota(a)$. |