1 \documentclass[tikz
]{standalone
}
3 \usetikzlibrary{arrows.meta,shapes.symbols,matrix,positioning
}
5 \begin{tikzpicture
}[node distance=
1em
]
6 \node (s1)
{\verb#>>=.#
};
7 \node (t1)
[left=of s1.north,yshift=-
3em
] {$t_1$
};
8 \node (v1)
[right=of s1.north,yshift=-
3em
] {\verb#>>=.# $
\lambda v_1
\shortrightarrow$
};
9 \node (t2)
[left=of v1.north,yshift=-
3em
] {$t_2$
};
10 \node (v2)
[right=of v1.north,yshift=-
3em
] {\verb#>>=.# $
\lambda v_2
\shortrightarrow$
};
11 \node (t3)
[left=of v2.north,yshift=-
3em
] {$t_3$
};
12 \node (ld)
[right=of v2.north,yshift=-
3em
] {\ldots};
14 \draw (s1.south) -- (t1.north);
15 \draw (s1.south) -- (v1.north);
16 \draw (v1.south) -- (t2.north);
17 \draw (v1.south) -- (v2.north);
18 \draw (v2.south) -- (t3.north);
19 \draw (v2.south) -- (ld.north);