1: \begin{abstract}

2: In this paper, we provide an effective method to compute the topological

3: entropies of $G$-subshifts of finite type ($G$-SFTs) with $G=F_{d}$ and $%

4: S_{d}$, the free group and free semigroup with $d$ generators respectively.

5: We develop the entropy formula by analyzing the corresponding systems of

6: nonlinear recursive equations (SNREs). Four types of SNREs of $S_{2}$-SFTs,

7: namely the types $\mathbf{E},\mathbf{D},\mathbf{C}$ and $\mathbf{O}$\textbf{,%

8: } are introduced and we could compute their entropies explicitly. This

9: enables us to give the complete characterization of $S_{2}$-SFTs on two

10: symbols. That is, the set of entropies of $S_{2}$-SFTs on two symbols is

11: equal to $\mathbf{E}\cup \mathbf{D}\cup \mathbf{C}\cup \mathbf{O}$. The

12: methods developed in $S_{d}$-SFTs will also be applied to the study of the

13: entropy theory of $F_{d}$-SFTs. The entropy formulae of $S_{d}$-, $F_{d}$%

14: -golden mean shifts and $k$-colored chessboards are also presented herein.

15: \end{abstract}

16: