Pisot Substitution Conjecture and Rauzy Fractals

We provide a proof for one version of Pisot conjecture. We make use of the weak mixing property of the subshift of finite type derived from the prefix-suffix automaton to conclude that the substitution dynamical system has pure discrete spectrum.