1: \begin{abstract}

2: For topologically mixing locally expanding semigroup actions generated by a finite collection of $C^{1+\alpha}$ conformal local diffeomorphisms, we provide

3: a countable Markov partition satisfying the finite images and the finite

4: cycle properties. We show that they admit inducing schemes and describe the tower constructions

5: associated with them. An important feature of these towers is that their induced maps are equivalent to a subshift of

6: countable type. Through the investigating the ergodic properties of induced map,

7: we prove the existence of a liftable absolutely continuous stationary measure for the original action.

8: We then establish a thermodynamic formalism for induced map and deduce the unicity of eqiliberium state.

9: \end{abstract}

10: