Termination of the balanced pair algorithm under rewriting
Let φ\varphiφ be a Pisot substitution on nnn letters. Let φ~\tilde\varphiφ~ be a rewriting of φ\varphiφ such that, for some letters b,eb,eb,e in the rewritten alphabet,…