1: \begin{abstract}

2: We study symbolic dynamical representations of actions of the first Grigorchuk group $\Grig$, namely its action on the boundary of the infinite rooted binary tree, its representation in the topological full group of a minimal substitutive $\Z$-shift, and its representation as a minimal system of Schreier graphs. We show that the first system admits an SFT cover, and the latter two systems are conjugate to sofic subshifts on $\Grig$, but are not of finite type. % The proof is based on the simulation theorem of Barbieri for direct products. %, and generalizes to a large class of branch groups conditionally on a generalization of Barbieri's theorem for direct products.

3: \end{abstract}

4: