1: \begin{abstract}

2:   \noindent Let $H\leq F_m$ be a finitely generated subgroup of the free group $F_m$ of finite rank $m$. It is well-known that the language $L_H$ of reduced words from $F_m$ representing elements of $H$ is regular.  In the current article, using the (extended) core of the Schreier graph of $H$, we construct the minimal deterministic finite automaton that recognizes $L_H$. Then we characterize the finitely generated subgroups $H\leq F_m$ for which $L_H$ is irreducible, and for each such $H$ we explicitly construct an ergodic automaton that recognizes $L_H$. This construction gives us an efficient way to compute the cogrowth series $L_H(z)$ as well as the entropy of $L_H$. Several examples are provided to illustrate the method. Also, a comparison is made with the method of calculation of $L_H(z)$ based on the use of Nielsen system of generators of $H$.

3: \end{abstract}

4: