Profinite semigroups and symbolic dynamics. (2020)