Morphocompletion for #3256 ⟨a, b | ababbababba=1⟩

Back:⟨a, b | ababbababba=1⟩

Solved by morph:5/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ababb ⇒ babba
2. babbaabab ⇒ bbbabbaaa
3. abbbabbaaa ⇒ babbaaabab
4. bbbabbaaaba ⇒ 1
5. bbabbaaabab ⇒ 1
6. babbbabbaa ⇒ bbbabbaaab
7. babbbabbaaa ⇒ 1
8. babbaabbaaabab ⇒ aba
9. bbabbaaabbabba ⇒ abb
10. babbaabbbabbaaa ⇒ abab
11. babbaaabbbabbaaa ⇒ aabab
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] ba, [2/1] bb, [2/2] ab, [2/3] aa
Length 3:[3/0] bab, [3/1] bba, [3/2] abb, [3/3] baa, [3/4] aaa, [3/5] aab, [3/6] bbb
Length 4:[4/0] babb, [4/1] abba, [4/2] bbaa, [4/3] baaa, [4/4] bbab, [4/5] abab, [4/6] bbba
Length 5:[5/0] babba, [5/1] abbaa, [5/2] bbaaa, [5/3] bbabb, [5/4] bbbab, [5/5] abbba, [5/6] aabab
Length 6:[6/0] babbaa, [6/1] abbaaa, [6/2] bbabba, [6/3] bbbabb, [6/4] abbbab, [6/5] bbaaab, [6/6] babbba
Length 7:[7/0] babbaaa, [7/1] bbabbaa, [7/2] bbbabba, [7/3] abbbabb, [7/4] babbaab, [7/5] abbaaab, [7/6] babbbab

Considering [length 5 / frequency 0] babba=c.

Step 2

Rewriting system is complete. See ⟨a, b | ababbababba=1⟩.