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:

[2/0]bb77lf:76,lp:1,rf:59,rp:1,rs:1
[2/1]ab28lf:19,lp:4,ls:5,rf:16,rp:1,rs:3,lprs:1

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: pendingRulesLimit

#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. cbbbbcbbbbbbc ⇒ bcbbbbbbba
18. bbbbbcbbbbbbca ⇒ cbbbbbbbc
19. bbbbbcbbbbbbcc ⇒ cbbbbbbbcb
...

Collecting factors up to length 3 / frequency 2:

[2/0]bb111lf:109,lp:2,rf:93,a:2
[2/1]cb36lf:27,lp:5,ls:4,rf:21,rp:4,rs:2,lprs:1,a:2

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:

[2/0]bb81lf:80,lp:1,rf:68,a:3
[2/1]db28lf:21,lp:6,ls:1,rf:16,rp:3,rs:1,lprs:1,a:3

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:

[2/0]bb47lf:47,rf:39,a:4
[2/1]eb24lf:18,lp:5,ls:1,rf:14,rp:3,rs:1,lprs:1,a:4

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:

[2/0]bb27lf:27,rf:22,a:5
[2/1]fb21lf:16,lp:5,rf:12,rp:4,rs:1,lprs:1,a:5

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:

[2/0]gb21lf:15,lp:6,rf:10,rp:5,rs:1,lprs:10,a:6

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

Step 7

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