Content deleted Content added
PRoduct tree was backwards...took subset on wrong side and didn't deal with 1 off errors...fixed but don't really believe it belongs |
|||
Line 8:
===Trees===
The collection of all finite sequences of elements of a set <math>X</math> is denoted <math>X^{<\omega}</math>.
With this notation, a tree is a nonempty subset <math>T</math> of <math>X^{<\omega}</math>, such that if
<math>\langle x_0,x_1,\ldots,x_{n-1}\rangle</math> is a sequence of length <math>n</math> in <math>T</math>, and if <math>0\le m<n</math>,
Line 19:
===Terminal nodes===
A finite sequence that belongs to a tree <math>T</math> is called a '''terminal node''' if it is not a prefix of a longer sequence in <math>T</math>. Equivalently, <math>\langle x_0,x_1,\ldots,x_{n-1}\rangle \in T</math> is terminal if there is no element <math>x</math> of <math>X</math> such that that <math>\langle x_0,x_1,\ldots,x_{n-1},x\rangle \in T</math>. A tree that does not have any terminal nodes is called '''pruned''' This is all bullshit.
==Relation to other types of trees==
| |||