Profinite Semigroups and Symbolic Dynamics