Morphocompletion for #5943 ⟨a, b | abbbba=bbabb⟩

Back:⟨a, b | abbbba=bbabb⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbbba ⇒ bbabb
2. bbabbbbbba ⇒ abbbbbbabb
3. aabbbbbbabbbb ⇒ bbabbbbbbbba
4. bbabbbbbbbbaa ⇒ aabbbbbbbbabb
5. bbabbbbbbbbabba ⇒ abbabbbbbbbbabb
6. abbaabbbbbbbbabb ⇒ bbabbbbbbbbbbaa
7. abbbbbbabbbbbbbba ⇒ bbbbabbbbbbbbabb
8. abbabbabbbbbbbbabb ⇒ bbabbbbbbbbbbabba
9. bbabbbbbbbbbbaabba ⇒ abbaabbbbbbbbbbabb
...

Collecting factors up to length 7, frequency 3:

Length 2:[2/0] bb, [2/1] ba, [2/2] ab
Length 3:[3/0] bbb, [3/1] bba, [3/2] abb
Length 4:[4/0] bbbb, [4/1] bbab, [4/2] bbba
Length 5:[5/0] bbbbb, [5/1] bbabb, [5/2] abbbb
Length 6:[6/0] bbbbbb, [6/1] bbbbba, [6/2] bbabbb

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bc ⇒ cb
2. bb ⇒ c
3. acca ⇒ cac
4. caccca ⇒ acccac
5. bacccac ⇒ cbaccca
6. aacccacc ⇒ cacccca
7. caccccaa ⇒ aaccccac
8. caccccaca ⇒ acaccccac
9. ccbacccaa ⇒ baccccac
10. baaccccac ⇒ cbaccccaa
11. acaaccccac ⇒ cacccccaa
12. acccacccca ⇒ ccaccccac
13. bacaccccac ⇒ cbaccccaca
14. acacaccccac ⇒ cacccccaca
15. acccaccccca ⇒ cccaccccac
16. cacccccaaca ⇒ acaacccccac
17. cbaccccaaca ⇒ baacccccac
18. baacaccccac ⇒ cbaccccacaa
19. acaacaccccac ⇒ cacccccacaa
20. acccacccccca ⇒ ccccaccccac
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] cc, [2/1] ac, [2/2] ca, [2/3] aa, [2/4] ba
Length 3:[3/0] ccc, [3/1] cac, [3/2] acc, [3/3] cca, [3/4] aca
Length 4:[4/0] ccca, [4/1] accc, [4/2] ccac, [4/3] cccc, [4/4] cacc
Length 5:[5/0] cccac, [5/1] cccca, [5/2] caccc, [5/3] acccc, [5/4] accca

Considering [length 2 / frequency 1] ac=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ac ⇒ d
2. bc ⇒ cb
3. bb ⇒ c
4. dca ⇒ cd
5. dcd ⇒ cdc
6. cdcca ⇒ dccd
7. dccdc ⇒ cdccd
8. ddcca ⇒ adccd
9. cbdcca ⇒ bdccd
10. cdccca ⇒ ddccd
11. cdccda ⇒ dcccd
12. dcccdc ⇒ cdccdd
13. dbdcca ⇒ abdccd
14. ddccca ⇒ addccd
15. ddccda ⇒ adcccd
16. cbdccca ⇒ bddccd
17. cbdccda ⇒ bdcccd
18. cdcccca ⇒ dddccd
19. cdcccda ⇒ ddcccd
20. cdccdda ⇒ dccccd
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] dc, [2/1] cc, [2/2] cd, [2/3] ca, [2/4] da
Length 3:[3/0] dcc, [3/1] cdc, [3/2] cca, [3/3] cda, [3/4] ccd
Length 4:[4/0] cdcc, [4/1] dcca, [4/2] ccda, [4/3] ccca, [4/4] dccc
Length 5:[5/0] dccda, [5/1] dccca, [5/2] cdccc, [5/3] cbdcc, [5/4] bdcca

Considering [length 2 / frequency 0] dc=e.

Step 4

Rewriting system is complete. See ⟨a, b | abbbba=bbabb⟩.