Morphocompletion for #2595 ⟨a, b | ababab=abba⟩

Back:⟨a, b | ababab=abba⟩

Solved by morph:4/0,2/2. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: trailTotalLimit

#Rule
1. ababab ⇒ abba
2. abbaab ⇒ ababba
3. abbabaab ⇒ ababbaba
4. abbababaab ⇒ ababbababa
5. abbabbaaab ⇒ ababbabbaa
6. abbababbaaab ⇒ ababbababbaa
7. abbabbabaaab ⇒ ababbabbabaa
8. abbababbabaaab ⇒ ababbababbabaa
9. abbabbababaaab ⇒ ababbabbababaa
10. abbabbabbaaaab ⇒ ababbabbabbaaa
11. ababbabbabbaaaab ⇒ abbababbabbaaa
12. abbababbababaaab ⇒ ababbababbababaa
13. abbababbabbaaaab ⇒ ababbababbabbaaa
14. abbabbababbaaaab ⇒ ababbabbababbaaa
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] ab, [2/1] ba, [2/2] aa, [2/3] bb
Length 3:[3/0] abb, [3/1] bab, [3/2] bba, [3/3] aab
Length 4:[4/0] abba, [4/1] aaab, [4/2] bbab, [4/3] baba
Length 5:[5/0] abbab, [5/1] babba, [5/2] baaab, [5/3] bbaba
Length 6:[6/0] abbaba, [6/1] abbabb, [6/2] bbabba, [6/3] babbab

Considering [length 4 / frequency 0] abba=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cccb ⇒ cbc
2. cbccb ⇒ cbbc
3. abccb ⇒ abbc
4. cab ⇒ abc
5. cbaccb ⇒ cbabc
6. cbba ⇒ abbc
7. cbca ⇒ cbacc
8. ccba ⇒ cbac
9. cbbca ⇒ abbccc
10. cbcba ⇒ abbcc
11. ababc ⇒ cba
12. ababbc ⇒ cbacb
13. abba ⇒ c
14. abbca ⇒ ccc
15. abcba ⇒ cc
16. abbcba ⇒ cbabc
17. abbcca ⇒ ccccc
18. cbaab ⇒ cc
19. cbaba ⇒ abcc
20. ababab ⇒ c
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ab, [2/1] cb, [2/2] ba, [2/3] bc, [2/4] ca, [2/5] cc, [2/6] bb
Length 3:[3/0] cba, [3/1] ccb, [3/2] aba, [3/3] abb, [3/4] bca, [3/5] bab, [3/6] abc
Length 4:[4/0] abab, [4/1] abbc, [4/2] bcba, [4/3] bbca, [4/4] bccb, [4/5] baba, [4/6] cbaa
Length 5:[5/0] ababa, [5/1] babab, [5/2] ababb, [5/3] bbcca, [5/4] bbcba, [5/5] cbacc, [5/6] baccb

Considering [length 2 / frequency 2] ba=d.

Step 3

Rewriting system is complete. See ⟨a, b | ababab=abba⟩.