}}$ are noted by ${\mathbb{E}}_\delta$ and ${\mathbb{E}}$, respectively.

The Markov chain $(Y_n: n\ge 0)$ can be also constructed from a probability space $({\widetilde{\Omega}}, {\widetilde{\cal F}},{\bf P})$ containing an independent family of random variables $\left(\delta^K_n: K\in {{\cal Y}}({{\cal J}}_\rho), n\ge 1 \right)$, where $\delta^K_n$ takes values in ${\mathbb{D}}_{1,2}(K)$ and $${\bf P}(\delta^K_n=\delta)=f^K_\delta,$$ where $f^K_\delta$ was defined in (\[e15\]). Thus, the random variables $(\delta^K_n: n\ge 1)$ are independent and identically distributed with law $f^K_\bullet$. It is easily checked that the random sequence given by $$Y_0=\delta, \;\; Y_n=(\delta^K_n: K\in Y_{n-1})  \;\, \forall n\ge 1,$$ defines a Markov chain $(Y_n)$ starting from $\delta$, and transition probability given by (\[e23\]).

Let us show that the Markov chain $(Y_n)$ fulfills the first claim of this section: after $n-$steps of time the probability of the event $\{Y_n=\delta\}$ is the weight of all the trees of length $j$ whose set of leaves is $\delta$.

\[lemma5\] For every $n\ge0$ and $\delta\in \partial({{\cal T}})$ it holds ${\mathbb{P}}(Y_n=\delta)=q^n_\delta$.

We will use a recurrence argument. For $n=0$ the property holds because $Y_0=\{I\}$ and the class of trees of length $0$ is the singleton ${{\cal T}}_0=\{\{I\}\}$. Assume the property holds up to $n$ let us show it for $n+1$. We have $$\begin{aligned}
{\mathbb{P}}(Y_{n+1}=\delta')&=& 
\sum_{\delta\in \partial({{\cal T}}): \delta \rightarrow \delta'}
{\mathbb{P}}(Y_n=\delta) P_{\delta,\delta'}\\
&=&\sum_{\delta\in \partial({{\cal T}}): \delta \rightarrow \delta'}
q^n
} } $ are noted by $ { \mathbb{E}}_\delta$ and $ { \mathbb{E}}$, respectively. 

 The Markov chain $ (Y_n: n\ge 0)$ can be also constructed from a probability quad $ ({ \widetilde{\Omega } }, { \widetilde{\cal F}},{\bf P})$ control an independent family of random variables $ \left(\delta^K_n: K\in { { \cal Y}}({{\cal J}}_\rho), n\ge 1 \right)$, where $ \delta^K_n$ take values in $ { \mathbb{D}}_{1,2}(K)$ and $ $ { \bf P}(\delta^K_n=\delta)=f^K_\delta,$$ where $ f^K_\delta$ was defined in (\[e15\ ]). therefore, the random variables $ (\delta^K_n: n\ge 1)$ are independent and identically distributed with jurisprudence $ f^K_\bullet$. It is easily checked that the random succession given by $ $ Y_0=\delta, \;\; Y_n=(\delta^K_n: K\in Y_{n-1 })   \;\, \forall n\ge 1,$$ defines a Markov chain $ (Y_n)$ starting from $ \delta$, and passage probability given by (\[e23\ ]). 

 Let us show that the Markov chain $ (Y_n)$ fulfills the first title of this section: after $ n-$steps of time the probability of the event $ \{Y_n=\delta\}$ is the weight unit of all the trees of length $ j$ whose set of leaves is $ \delta$. 

 \[lemma5\ ] For every $ n\ge0 $ and $ \delta\in \partial({{\cal T}})$ it hold $ { \mathbb{P}}(Y_n=\delta)=q^n_\delta$. 

 We will use a recurrence argument. For $ n=0 $ the property holds because $ Y_0=\{I\}$ and the class of tree of length $ 0 $ is the singleton $ { { \cal T}}_0=\{\{I\}\}$. Assume the property holds up to $ n$ let us show it for $ n+1$. We have $ $ \begin{aligned } 
 { \mathbb{P}}(Y_{n+1}=\delta')&= & 
 \sum_{\delta\in \partial({{\cal T } } ): \delta \rightarrow \delta' } 
 { \mathbb{P}}(Y_n=\delta) P_{\delta,\delta'}\\ 
 & = & \sum_{\delta\in \partial({{\cal T } } ): \delta \rightarrow \delta' } 
 q^n
}}$ arf noted by ${\mathbb{E}}_\delta$ xnd ${\mathbb{E}}$, reskextivelb.

The Madkov chakn $(Y_n: n\ge 0)$ can be also constcuctwd frim a probability space $({\widetildv{\Omega}}, {\wieetioee{\cal F}},{\bf '})$ contaiknng ah indzpxndent family on random vasiables $\left(\dentx^K_u: K\in {{\cal Y}}({{\cal J}}_\rho), n\ge 1 \right)$, where $\delta^K_m$ hakes values ig ${\mauhbf{D}}_{1,2}(K)$ znd $${\bf P}(\delta^K_n=\delta)=f^K_\delta,$$ where $r^K_\delta$ was defined on (\[e15\]). Thus, the random variahles $(\delta^K_n: n\ge 1)$ are lndependent and udentically aistributed with law $f^I_\bullet$. It is easily checked thxt thz random sewuwncf given by $$Y_0=\velta, \;\; Y_n=(\delta^K_n: K\lm Y_{n-1})  \;\, \forall n\ge 1,$$ defines s Merkoc chain $(Y_n)$ starting fcom $\delta$, and transijion probatimity given by (\[e23\]).

Ler ys shmw tvat gye Oariot cgain $(Y_j)$ fnlfills the first clain of this section: agtqg $n-$steps of tjme thq [robability of the event $\{Y_n=\delta\}$ is the wejght of all the trees od length $j$ whose set lf leaves is $\delta$.

\[lemma5\] For every $n\ge0$ and $\delta\in \partial({{\cdl T}})$ mt hoodf ${\nahhbb{P}}(Y_n=\delta)=q^n_\delta$.

We will use a recurrence awfukekt. For $n=0$ the proierty holds becausr $J_0=\{I\}$ wnd the class of trzss of length $0$ is the singlejon ${{\cao T}}_0=\{\{I\}\}$. Assuie tne property holds up to $n$ lwt us show in foe $n+1$. We have $$\begin{apigned}
{\mathby{P}}(Y_{n+1}=\dekta')&=& 
\sim_{\delta\in \partial({{\cal T}}): \belta \dightarrow \felta'}
{\mathgc{P}}(Y_n=\delta) P_{\delta,\aelna'}\\
&=&\suk_{\delta\in \partial({{\cal T}}): \deltw \rightarcow \dzlta'}
q^n
}}$ are noted by ${\mathbb{E}}_\delta$ and ${\mathbb{E}}$, Markov $(Y_n: n\ge can be also $({\widetilde{\Omega}}, F}},{\bf P})$ containing independent family of variables $\left(\delta^K_n: K\in {{\cal Y}}({{\cal J}}_\rho), 1 \right)$, where $\delta^K_n$ takes values in ${\mathbb{D}}_{1,2}(K)$ and $${\bf P}(\delta^K_n=\delta)=f^K_\delta,$$ where $f^K_\delta$ defined in (\[e15\]). Thus, the random variables $(\delta^K_n: n\ge 1)$ are independent and distributed law It easily checked that the random sequence given by $$Y_0=\delta, \;\; Y_n=(\delta^K_n: K\in Y_{n-1}) \;\, \forall n\ge defines a Markov chain $(Y_n)$ starting from $\delta$, transition probability given by Let us show that the chain fulfills the claim this after $n-$steps of the probability of the event $\{Y_n=\delta\}$ is the weight of all the trees of length $j$ whose of leaves \[lemma5\] For $n\ge0$ $\delta\in T}})$ it holds will use a recurrence argument. For holds because $Y_0=\{I\}$ and the class of trees length $0$ the singleton ${{\cal T}}_0=\{\{I\}\}$. Assume the holds up to $n$ let us show it $n+1$. We have $$\begin{aligned} {\mathbb{P}}(Y_{n+1}=\delta')&=& \sum_{\delta\in \partial({{\cal T}}): \delta \rightarrow \delta'} {\mathbb{P}}(Y_n=\delta) P_{\delta,\delta'}\\ &=&\sum_{\delta\in \partial({{\cal \rightarrow \delta'} q^n
}}$ are noted by ${\mathbb{E}}_\delta$ and ${\Mathbb{E}}$, resPectiVelY.

ThE MArkoV chaIn $(Y_n: n\ge 0)$ can be alSO conStructed from a probabiliTy spaCe $({\WIdetILdE{\OmegA}}, {\widetiLDe{\CAL F}},{\bF P})$ CoNtaInINg An indEpeNdent faMily of randOm vArIables $\left(\deLTa^k_n: K\in {{\cal Y}}({{\cAl J}}_\Rho), n\ge 1 \right)$, wHerE $\delta^k_n$ TakES valuEs iN ${\mathBb{D}}_{1,2}(K)$ anD $${\Bf P}(\delTa^K_n=\delta)=F^K_\DElta,$$ whERe $f^K_\delTA$ WaS defIned in (\[e15\]). Thus, the ranDOm VAriables $(\delta^K_N: n\ge 1)$ arE iNDePENdeNt aNd identicaLlY distRIbuted wITh LAW $F^K_\bULlet$. It is easilY checked thaT The Random SeQueNCe giveN by $$Y_0=\dElTA, \;\; Y_n=(\Delta^K_n: K\in Y_{N-1})  \;\, \forAll n\ge 1,$$ defInes a MARkov chaIN $(Y_n)$ starTing frOm $\dEltA$, and TRaNsItiOn PRobABiLitY GivEn by (\[e23\]).

Let Us ShOw thaT the mARKOv chAin $(y_n)$ fuLfillS the first claiM of This SEctIon: afTer $n-$sTeps Of Time tHe probAbiliTy Of the event $\{Y_n=\delTa\}$ is The weight Of aLl The TrEes of LEngth $j$ WhoSe sEt of leaVes is $\deLTa$.

\[lEmMA5\] fOr Every $n\ge0$ and $\delta\in \PaRTIaL({{\cal T}})$ it hOlds ${\maTHbB{P}}(y_N=\delta)=q^n_\DeLta$.

we wiLL Use a rEcurREnCe argumeNt. For $n=0$ THe PrOperty hOlDs becaUsE $Y_0=\{I\}$ And The clASs of Trees oF length $0$ iS the sINgleton ${{\cal T}}_0=\{\{I\}\}$. AsSUme the propertY HoLDS uP To $n$ lEt uS show it for $n+1$. we haVE $$\begIn{alIGnEd}
{\mAThbb{P}}(y_{n+1}=\delTa')&=& 
\SUm_{\DElta\in \partial({{\cal T}}): \deLtA \rightArrow \Delta'}
{\mathbb{P}}(Y_N=\delta) P_{\delTA,\DElta'}\\
&=&\sum_{\dElta\IN \pARtial({{\cal T}}): \delta \RightArrow \delta'}
Q^N
}}$ are noted by ${\mathbb {E}}_\delt a$ an d $ {\m at hbb{ E}}$ , respectively . 

Th e Markov chain $(Y_n:n\ge0) $  can be  also  constr u ct e d  fr om  a  pr ob a bi lityspa ce $({\ widetilde{ \Om eg a}}, {\widet i ld e{\cal F}} ,{\ bf P})$ cont ain ing an  i nde p enden t f amily  of ra n dom va riables $ \l e ft(\de l ta^K_n: K \i n {{ \cal Y}}({{\cal J } }_ \ rho), n\ge 1 \ right) $, wh e r e $ \de lta^K_n$ t ak es va l ues in$ {\ m a t hbb { D}}_{1,2}(K)$  and $${\bf P}( \delta ^K _n= \ delta) =f^K_ \d e lta ,$$ where $ f^K_ \delta$ w as def i ned in( \[e15\] ). Thu s,the  ran d om  v ari ab l es$ (\ del t a^K _n: n\ge  1 )$  areinde p e n d entand  ide ntica lly distribut edwith law  $f^K _\bul let$ .It is  easil y che ck ed that the ran domsequencegiv en  by  $ $Y_0= \ delta,  \; \;Y_n=(\d elta^K_ n : K \i n Y _{ n-1})  \;\, \foral ln \ ge  1,$$ de finesa  M ar k ov chain  $ (Y_ n)$s t artin g fr o m$\delta$ , andt ra ns ition p ro babili ty  gi ven  by ( \ [e23 \]).
Let us s how t h at the Markovc hain $(Y_n)$f ul f i ll s  the  fi rst claim o f th i s se ctio n :aft e r $n- $step so ft ime the probability  o f theevent  $\{Y_n=\delt a\}$ is th e w eight of  all th e  trees of leng th $j $ whose se t  of leav es is  $\delta $.

\[lem m a 5\] Foreve ry$n\ ge0 $ an d $\delta\in\ p arti al ({{\cal  T} })$ ithol ds${\ mat hb b{P}}(Y_n =\delta) =q ^n _\ de lta $.

W e  will us ea r ec urr encea rgumen t. Fo r $n =0 $t hepropert y  h o l ds b ec au se $ Y_0 =\ {I\}$  and the  classof treesofl engt h$0 $ is th e singleton $ {{ \cal T}}_0 =\ {\{ I\}\}$ . Assume t he property holds up to $n$ let  us  show  itfor $n+1$ . W e have  $$ \ begin{ aligne d}
{\ ma thb b { P}}(Y _ { n+ 1}= \d elta')&=&\ sum _{\de lt a\in  \parti al({{\cal T}}): \d e lta  \rightarrow\de lta' } {\ mat h bb { P}} (Y _ n=\ d e lta) P_{\delta, \delta'}\\ 
& = &\ sum_{\delt a \in  \ partial ({{\cal  T}}) :  \delta  \rightar row \delt a' }
q^ n 
}}$ are_noted by_${\mathbb{E}}_\delta$ and ${\mathbb{E}}$, respectively.

The_Markov chain_$(Y_n:_n\ge 0)$_can_be also constructed_from a probability_space $({\widetilde{\Omega}}, {\widetilde{\cal F}},{\bf_P})$ containing an_independent_family of random variables $\left(\delta^K_n: K\in {{\cal Y}}({{\cal J}}_\rho), n\ge 1 \right)$, where $\delta^K_n$_takes_values in_${\mathbb{D}}_{1,2}(K)$_and_$${\bf P}(\delta^K_n=\delta)=f^K_\delta,$$ where $f^K_\delta$ was_defined in (\[e15\]). Thus, the_random variables_$(\delta^K_n: n\ge 1)$ are independent and identically distributed_with_law $f^K_\bullet$. It_is easily checked that the random sequence given by_$$Y_0=\delta, \;\; Y_n=(\delta^K_n: K\in Y_{n-1}) _\;\, \forall n\ge_1,$$_defines_a Markov chain $(Y_n)$_starting from $\delta$, and transition probability_given by (\[e23\]).

Let us show that_the Markov chain $(Y_n)$ fulfills the first_claim of this section: after $n-$steps_of time the probability of_the event_$\{Y_n=\delta\}$ is the weight of_all the trees_of length_$j$ whose set_of leaves is $\delta$.

\[lemma5\] For every_$n\ge0$ and $\delta\in_\partial({{\cal T}})$ it holds ${\mathbb{P}}(Y_n=\delta)=q^n_\delta$.

We will_use_a recurrence argument._For_$n=0$_the property_holds because $Y_0=\{I\}$_and_the class_of_trees of length $0$ is the_singleton_${{\cal T}}_0=\{\{I\}\}$. Assume the property holds up_to $n$ let us_show_it for $n+1$. We_have $$\begin{aligned}
{\mathbb{P}}(Y_{n+1}=\delta')&=& 
\sum_{\delta\in \partial({{\cal T}}):_\delta \rightarrow \delta'}
{\mathbb{P}}(Y_n=\delta) P_{\delta,\delta'}\\
&=&\sum_{\delta\in \partial({{\cal T}}):_\delta \rightarrow_\delta'}
q^n