Morphocompletion for #5550 ⟨a, b | aaabaa=baaab⟩

Back:⟨a, b | aaabaa=baaab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabaa ⇒ baaab
2. aaabbaaab ⇒ baaababaa
3. aaababaaab ⇒ bbaaabbaa
4. baaababaaaa ⇒ aaabbbaaab
5. aaababbaaab ⇒ bbaaabbaaaa
6. bbaaabbaaaaaa ⇒ aaababbbaaab
7. baaabababaaab ⇒ aaabbbaaabbaa
8. aaaaaabbbaaab ⇒ baaabababaaaa
9. bbbaaabbaaaaab ⇒ aaabbbbaaabbaa
10. baaababaabaaab ⇒ aaabbbaaababaa
11. baaabababaaaaaa ⇒ aaaaaabbbbaaab
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] aa, [2/1] ab, [2/2] ba, [2/3] bb
Length 3:[3/0] aaa, [3/1] aab, [3/2] baa, [3/3] aba
Length 4:[4/0] aaab, [4/1] baaa, [4/2] aaaa, [4/3] abab
Length 5:[5/0] baaab, [5/1] aaaba, [5/2] aaaaa, [5/3] bbaaa
Length 6:[6/0] bbaaab, [6/1] aaabab, [6/2] baaaba, [6/3] abaaab

Considering [length 2 / frequency 0] aa=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ c
2. ac ⇒ ca
3. cabc ⇒ bcab
4. abcab ⇒ ccbc
5. bcabab ⇒ cccbc
6. abbcab ⇒ ccbcc
7. abbbcab ⇒ ccbccc
8. abcccbc ⇒ ccbccab
9. abbbbcab ⇒ ccbcccc
10. bbbcabbc ⇒ cccbccab
11. abbcccbc ⇒ ccbcccab
12. abbbbbcab ⇒ ccbccccc
13. abbbcccbc ⇒ ccbccccab
14. cccbccabab ⇒ bbbcccbcc
15. abbbbbbcab ⇒ ccbcccccc
16. ccbccababc ⇒ abcccbbcab
17. abbbbcccbc ⇒ ccbcccccab
18. ccbccababab ⇒ abccccccbc
19. abbbbbbbcab ⇒ ccbccccccc
20. ccbcccababc ⇒ abbcccbbcab
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ab, [2/1] bc, [2/2] bb, [2/3] cc, [2/4] ca, [2/5] cb, [2/6] ba
Length 3:[3/0] cab, [3/1] bbb, [3/2] abb, [3/3] cbc, [3/4] bbc, [3/5] ccb, [3/6] abc
Length 4:[4/0] bcab, [4/1] ccbc, [4/2] abbb, [4/3] bbbb, [4/4] bbbc, [4/5] abab, [4/6] bbca
Length 5:[5/0] bbcab, [5/1] cccbc, [5/2] abbbb, [5/3] ccbcc, [5/4] cabab, [5/5] bbbca, [5/6] bbbbb

Considering [length 2 / frequency 0] ab=d.

Step 3

Rewriting system is complete. See ⟨a, b | aaabaa=baaab⟩.