Vitalsource Technologies, Inc. Profinite Semigroups And Symbolic Dynamics