Morphocompletion for #2361 ⟨a, b | abbbbba=bab⟩

Back:⟨a, b | abbbbba=bab⟩

Solved by morph: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: rulesLimit

#Rule
1. abbbbba ⇒ bab
2. abbbbbbab ⇒ babbbbbba
3. aabbbbbbbab ⇒ babbbbbbbaa
4. ababbbbbbbab ⇒ babbbbbbbaba
5. bbbbbabbbbbbaa ⇒ abbbbbbbab
6. babbabbbbbbbab ⇒ bbabbbbbbbabba
7. aabbabbbbbbbab ⇒ babbbbbbbababa
8. babbbbbbbaabbbba ⇒ aabbbbbbbbab
9. abbbbbbbabbbbbba ⇒ babbbbbbbabb
...

Collecting factors up to length 3 / frequency 2:

[2/0]bb65lf:64,lp:1,rf:51,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. cbbbba ⇒ bc
3. cbbbbc ⇒ bcb
4. bcbbbbba ⇒ cbbbbbc
5. cbbbbbcb ⇒ bcbbbbbc
6. ccbbbbba ⇒ acbbbbbc
7. bcbbbbbbaa ⇒ acbbbbbbc
8. bcbbbbbbca ⇒ ccbbbbbbc
9. acbbbbbbcb ⇒ bcbbbbbbac
10. ccbbbbbbaa ⇒ aacbbbbbbc
11. ccbbbbbbcb ⇒ bcbbbbbbcc
12. ccbbbbbbca ⇒ accbbbbbbc
13. bcbbbbbbcba ⇒ cbcbbbbbbc
14. acbcbbbbbbc ⇒ bcbbbbbbcca
15. cbbbcbbbbbc ⇒ bcbbbbbba
16. cbcbbbbbbcb ⇒ bcbbbbbbcbc
17. bbbbcbbbbbca ⇒ cbbbbbbc
18. bbbbcbbbbbcc ⇒ cbbbbbbcb
19. bcbbbbbbcbca ⇒ ccbcbbbbbbc
...

Collecting factors up to length 5 / frequency 2:

[2/0]bb90lf:88,lp:2,rf:77,a:2
[2/1]cb36lf:27,lp:5,ls:4,rf:21,rp:4,rs:2,lprs:1,a:2
[3/0]bbb69lf:67,lp:2,rf:61,a:2
[3/1]bcb25lf:16,lp:5,ls:4,rf:11,rp:7,rs:2,re:1,lsrp:4,a:3
[4/0]bbbb48lf:46,lp:2,rf:45,a:2
[4/1]cbbb23lf:19,lp:4,rf:16,rp:3,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. dbbba ⇒ bc
4. dbbbc ⇒ bd
5. dbbbd ⇒ bdb
6. bdbbbba ⇒ dbbbbc
7. bdbbbbc ⇒ dbbbbd
8. cdbbbba ⇒ adbbbbc
9. cdbbbbc ⇒ adbbbbd
10. dbbbbdb ⇒ bdbbbbd
11. ddbbbba ⇒ adbbbbd
12. ddbbbbc ⇒ cdbbbbd
13. dbdbbbbd ⇒ bdbbbbba
14. bdbbbbbaa ⇒ adbbbbbc
15. bdbbbbbac ⇒ adbbbbbd
16. bdbbbbbca ⇒ cdbbbbbc
17. bdbbbbbcc ⇒ cdbbbbbd
18. bdbbbbbda ⇒ ddbbbbbc
19. dbbdbbbbd ⇒ bdbbbbbc
20. bbbdbbbbda ⇒ dbbbbbc
...

Collecting factors up to length 3 / frequency 2:

[2/0]bb60lf:59,lp:1,rf:53,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. ebba ⇒ bc
5. ebbc ⇒ bd
6. ebbd ⇒ be
7. ebbe ⇒ beb
8. bebbba ⇒ ebbbc
9. bebbbc ⇒ ebbbd
10. bebbbd ⇒ ebbbe
11. cebbba ⇒ aebbbc
12. cebbbc ⇒ aebbbd
13. cebbbd ⇒ aebbbe
14. debbba ⇒ aebbbd
15. debbbc ⇒ aebbbe
16. debbbd ⇒ cebbbe
17. ebbbeb ⇒ bebbbe
18. eebbba ⇒ aebbbe
19. eebbbc ⇒ cebbbe
20. eebbbd ⇒ debbbe
...

Collecting factors up to length 3 / frequency 2:

[2/0]bb30lf:30,rf:26,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. fba ⇒ bc
6. fbc ⇒ bd
7. fbd ⇒ be
8. fbe ⇒ bf
9. fbf ⇒ bfb
10. bfbba ⇒ fbbc
11. bfbbc ⇒ fbbd
12. bfbbd ⇒ fbbe
13. bfbbe ⇒ fbbf
14. cfbba ⇒ afbbc
15. cfbbc ⇒ afbbd
16. cfbbd ⇒ afbbe
17. cfbbe ⇒ afbbf
18. dfbba ⇒ afbbd
19. dfbbc ⇒ afbbe
20. dfbbd ⇒ afbbf
...

Collecting factors up to length 3 / frequency 2:

[2/0]fb21lf:16,lp:5,rf:12,rp:4,rs:1,lprs:10,a:5
[2/1]bb11lf:11,rf:11,a:10

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

Step 6

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