Assume a dynamical system is given on $S^1 = \mathbb{R} / \mathbb{Z}$ by $T(x)=x+\alpha$ mod $1$ where $\alpha$ is irrational. If we transform it into a symbolic system, for example, by setting $a_n=0$ iff $T^nx_0\in [0,0.5)$, would it be a shift of finite type?
Thanks in advance.