Morphocompletion for #4359 ⟨a, b | abbbbbbba=ab⟩

Back:⟨a, b | abbbbbbba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbbbbbba ⇒ ab
2. abbbbbbbba ⇒ abb
3. abbbbbbbbba ⇒ abbb
4. abbbbbbbbbba ⇒ abbbb
5. abbbbbbbbbbba ⇒ abbbbb
6. abbbbbbbbbbbba ⇒ abbbbbb
7. abbbbbbbbbbbbba ⇒ abbbbbbb
8. abbbbbbbbbbbbbba ⇒ abbbbbbbb
9. abbbbbbbbbbbbbbba ⇒ abbbbbbbbb
10. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbb
11. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbb
12. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbb
13. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
14. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
15. abbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 7, frequency 4:

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] bbba, [4/2] abbb
Length 5:[5/0] bbbbb, [5/1] bbbba, [5/2] abbbb
Length 6:[6/0] bbbbbb, [6/1] bbbbba, [6/2] abbbbb

Considering [length 3 / frequency 0] bbb=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bc ⇒ cb
2. bbb ⇒ c
3. accca ⇒ ac
4. accba ⇒ ab
5. acccca ⇒ acc
6. acccba ⇒ acb
7. accbba ⇒ abb
8. accccca ⇒ accc
9. accccba ⇒ accb
10. acccbba ⇒ acbb
11. acccccca ⇒ acccc
12. acccccba ⇒ acccb
13. accccbba ⇒ accbb
14. accccccca ⇒ accccc
15. accccccba ⇒ accccb
16. acccccbba ⇒ acccbb
17. acccccccca ⇒ acccccc
18. acccccccba ⇒ acccccb
19. accccccbba ⇒ accccbb
20. accccccccca ⇒ accccccc
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cc, [2/1] ac, [2/2] ba, [2/3] ca, [2/4] cb, [2/5] bb, [2/6] ab
Length 3:[3/0] ccc, [3/1] acc, [3/2] cca, [3/3] cba, [3/4] ccb, [3/5] bba, [3/6] cbb
Length 4:[4/0] cccc, [4/1] accc, [4/2] ccca, [4/3] ccba, [4/4] cbba, [4/5] cccb, [4/6] ccbb
Length 5:[5/0] acccc, [5/1] ccccc, [5/2] cccca, [5/3] ccbba, [5/4] cccba, [5/5] ccccb, [5/6] cccbb

Considering [length 5 / frequency 0] acccc=d.

Step 3

Rewriting system is complete. See ⟨a, b | abbbbbbba=ab⟩.