Morphocompletion for #4887 ⟨a, b | abbbbbba=bab⟩

Back:⟨a, b | abbbbbba=bab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbbbbba ⇒ bab
2. abbbbbbbab ⇒ babbbbbbba
3. aabbbbbbbbab ⇒ babbbbbbbbaa
4. ababbbbbbbbab ⇒ babbbbbbbbaba
5. babbabbbbbbbbab ⇒ bbabbbbbbbbabba
6. aabbabbbbbbbbab ⇒ babbbbbbbbababa
7. bbbbbbabbbbbbbaa ⇒ abbbbbbbbab
8. babbbbbbbbaabbbbba ⇒ aabbbbbbbbbab
9. abbbbbbbbabbbbbbba ⇒ babbbbbbbbabb
...

Collecting factors up to length 3, frequency 2:

Length 2:[2/0] bb, [2/1] ab

Considering [length 2 / frequency 1] ab=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cbbbbba ⇒ bc
3. cbbbbbc ⇒ bcb
4. bcbbbbbba ⇒ cbbbbbbc
5. cbbbbbbcb ⇒ bcbbbbbbc
6. ccbbbbbba ⇒ acbbbbbbc
7. bcbbbbbbbaa ⇒ acbbbbbbbc
8. bcbbbbbbbca ⇒ ccbbbbbbbc
9. acbbbbbbbcb ⇒ bcbbbbbbbac
10. ccbbbbbbbaa ⇒ aacbbbbbbbc
11. ccbbbbbbbcb ⇒ bcbbbbbbbcc
12. ccbbbbbbbca ⇒ accbbbbbbbc
13. bcbbbbbbbcba ⇒ cbcbbbbbbbc
14. acbcbbbbbbbc ⇒ bcbbbbbbbcca
15. cbcbbbbbbbcb ⇒ bcbbbbbbbcbc
16. bcbbbbbbbcbca ⇒ ccbcbbbbbbbc
17. bcbbbbbbbccaa ⇒ acccbbbbbbbc
18. cbbbbcbbbbbbc ⇒ bcbbbbbbba
19. bbbbbcbbbbbbca ⇒ cbbbbbbbc
20. bbbbbcbbbbbbcc ⇒ cbbbbbbbcb
...

Collecting factors up to length 3, frequency 2:

Length 2:[2/0] bb, [2/1] cb

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

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cb ⇒ d
3. dbbbba ⇒ bc
4. dbbbbc ⇒ bd
5. dbbbbd ⇒ bdb
6. bdbbbbba ⇒ dbbbbbc
7. bdbbbbbc ⇒ dbbbbbd
8. cdbbbbba ⇒ adbbbbbc
9. cdbbbbbc ⇒ adbbbbbd
10. dbbbbbdb ⇒ bdbbbbbd
11. ddbbbbba ⇒ adbbbbbd
12. ddbbbbbc ⇒ cdbbbbbd
13. bdbbbbbbaa ⇒ adbbbbbbc
14. bdbbbbbbac ⇒ adbbbbbbd
15. bdbbbbbbca ⇒ cdbbbbbbc
16. bdbbbbbbcc ⇒ cdbbbbbbd
17. bdbbbbbbda ⇒ ddbbbbbbc
18. dbbdbbbbbd ⇒ bdbbbbbba
19. dbbbdbbbbbd ⇒ bdbbbbbbc
20. bbbbdbbbbbda ⇒ dbbbbbbc
...

Collecting factors up to length 3, frequency 2:

Length 2:[2/0] bb, [2/1] db

Considering [length 2 / frequency 1] db=e.

Step 4

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cb ⇒ d
3. db ⇒ e
4. ebbba ⇒ bc
5. ebbbc ⇒ bd
6. ebbbd ⇒ be
7. ebbbe ⇒ beb
8. bebbbba ⇒ ebbbbc
9. bebbbbc ⇒ ebbbbd
10. bebbbbd ⇒ ebbbbe
11. cebbbba ⇒ aebbbbc
12. cebbbbc ⇒ aebbbbd
13. cebbbbd ⇒ aebbbbe
14. debbbba ⇒ aebbbbd
15. debbbbc ⇒ aebbbbe
16. debbbbd ⇒ cebbbbe
17. ebbbbeb ⇒ bebbbbe
18. eebbbba ⇒ aebbbbe
19. eebbbbc ⇒ cebbbbe
20. eebbbbd ⇒ debbbbe
...

Collecting factors up to length 3, frequency 2:

Length 2:[2/0] bb, [2/1] eb

Considering [length 2 / frequency 1] eb=f.

Step 5

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cb ⇒ d
3. db ⇒ e
4. eb ⇒ f
5. fbba ⇒ bc
6. fbbc ⇒ bd
7. fbbd ⇒ be
8. fbbe ⇒ bf
9. fbbf ⇒ bfb
10. bfbbba ⇒ fbbbc
11. bfbbbc ⇒ fbbbd
12. bfbbbd ⇒ fbbbe
13. bfbbbe ⇒ fbbbf
14. cfbbba ⇒ afbbbc
15. cfbbbc ⇒ afbbbd
16. cfbbbd ⇒ afbbbe
17. cfbbbe ⇒ afbbbf
18. dfbbba ⇒ afbbbd
19. dfbbbc ⇒ afbbbe
20. dfbbbd ⇒ afbbbf
...

Collecting factors up to length 3, frequency 2:

Length 2:[2/0] bb, [2/1] fb

Considering [length 2 / frequency 1] fb=g.

Step 6

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cb ⇒ d
3. db ⇒ e
4. eb ⇒ f
5. fb ⇒ g
6. gba ⇒ bc
7. gbc ⇒ bd
8. gbd ⇒ be
9. gbe ⇒ bf
10. gbf ⇒ bg
11. gbg ⇒ bgb
12. bgbba ⇒ gbbc
13. bgbbc ⇒ gbbd
14. bgbbd ⇒ gbbe
15. bgbbe ⇒ gbbf
16. bgbbf ⇒ gbbg
17. cgbba ⇒ agbbc
18. cgbbc ⇒ agbbd
19. cgbbd ⇒ agbbe
20. cgbbe ⇒ agbbf
...

Collecting factors up to length 3, frequency 1:

Length 2:[2/0] gb

Considering [length 2 / frequency 0] gb=h.

Step 7

Rewriting system is complete. See ⟨a, b | abbbbbba=bab⟩.