It isn't clear which aspects of the image you mean by 'decorations'. I assume the labels above left/right of the nodes. The code is annotated with comments explaining how the distances between levels and siblings are increased, how the nodes are made uniform in size, and how the labels are added in the relevant places.
\documentclass[border=10pt]{standalone}
\usepackage{forest}
\forestset{
circles/.style={
for tree={
math content,
circle,
draw,
text width=1em,
text centered,
edge=->,
s sep'+=5pt, % increase distance between siblings by 5pt
l sep'+=5pt, % increase distance between levels by 5pt
},
before typesetting nodes={
for tree={% make circles uniform in size
content/.wrap value=\strut ##1,
% split content of nodes into content and value for my label
split option={content}{:}{content,my label},
},
},
},
my label/.style={% put the label left or right, depending on which child and level we have
label/.process={On=On=|? {n'}{1} {level}{0} {45:$#1$}{135:$#1$}},
},
}
\begin{document}
\begin{forest}
circles
[f:\epsilon
[e:1]
[f:2
[x:21]
[i:22
[x:221]
]
]
]
\end{forest}
\end{document}

If you are essentially counting down the tree (except for the root), you don't even need to specify the labels. You can achieve the same result with something like
\documentclass[border=10pt]{standalone}
\usepackage{forest}
\forestset{
circles/.style={
for tree={
math content,
circle,
draw,
text width=1em,
text centered,
edge=->,
s sep'+=5pt, % increase distance between siblings by 5pt
l sep'+=5pt, % increase distance between levels by 5pt
},
before typesetting nodes={
for tree={% make circles uniform in size
content/.wrap value=\strut ##1,
if level=0{
my label=\epsilon,
}{
temptoksa=,
for nodewalk={filter={reverse={current and ancestors}}{>On>{level}{0}}}{temptoksa+/.option=n},
my label/.register=temptoksa,
},
},
},
},
my label/.style={% put the label left or right, depending on which child and level we have
label/.process={On=On=|? {n'}{1} {level}{0} {45:$#1$}{135:$#1$}},
},
}
\begin{document}
\begin{forest}
circles
[f
[e]
[f
[x]
[i
[x]
]
]
]
\end{forest}
\end{document}
For comparison:
