diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:34:52 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:34:52 +0100 |
commit | ec9049e085899813fd986c73268c2dd5f74bbd8c (patch) | |
tree | f6a53ec68526479463f2900b45d816ec48216cbc | |
parent | 0f34b92411b30f5f9c467df19038055ca586f6b7 (diff) |
Add graph view of trees
-rw-r--r-- | mgr.tex | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -204,8 +204,9 @@ The rest of our work is organized in the following way: We work with finite trees whose vertices are labeled with letters from a finite alphabet. More formally, given a finite alphabet $\Sigma$, for each $a \in -\Sigma$, $a$ is a tree, and if $t_1, \ldots, t_k$ are trees, then -$a(t_1, \ldots, t_k)$ is also a tree. +\Sigma$, $a$ is a tree, and if $t_1, \ldots, t_k$ are trees, then $a(t_1, +\ldots, t_k)$ is also a tree. A tree $T$ can then also be seen as an acyclic +undirected graph with vertex set $V(T)$ and edge set $E(T)$. We use the standard notions of root, child, sibling, ancestor, descendant, etc. |