Termination of the balanced pair algorithm under rewriting
Termination of the balanced pair algorithm under rewriting
Let be a Pisot substitution on letters. Let be a rewriting of such that, for some letters in the rewritten alphabet, for all . Let be the specified length vector for the rewritten substitution. Assume that the balanced pair algorithm for the original Pisot substitution terminates. Rewriting termination conjecture. The balanced pair algorithm for the rewritten substitution also terminates for the length vector . The claim concerns whether termination is preserved when a Pisot substitution is replaced by a rewriting into composite letters; the preceding example gives evidence for this expectation, but the paper states that it has not been shown.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Brian F. Martensen, “A Generalized Balanced Pair Algorithm”, arXiv:math/0309194 (2003).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.