Morphocompletion for #4342 ⟨a, b | abbabaaab=ba⟩

Back:⟨a, b | abbabaaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbabaaab ⇒ ba
2. abbabaaba ⇒ bababaaab
3. bababaaabbbabaaab ⇒ abbabaabba
4. abbabaaaabbabaabba ⇒ baababaaabbbabaaab
5. bababaaabbbabaaba ⇒ abbabaabbababaaab
6. baababaaabbbabaaabbaaab ⇒ abbabaaaabbababa
7. abbabaaaabbabaaaabbababa ⇒ baaababaaabbbabaaabbaaab
8. baababaaabbbabaaabbaaba ⇒ abbabaaaabbababababaaab
9. bababaaabbaaabbbabaaabbaaab ⇒ abbaabbabaaaabbababa
10. baababaaabbbabaaabbbabaaab ⇒ abbabaaaabbabaabbba
...

Collecting factors up to length 4 / frequency 3:

[2/0]ba66lf:55,lp:6,ls:5,rf:46,rp:4,rs:5,re:1,lsrp:3,lprs:4
[2/1]ab63lf:54,lp:4,ls:5,rf:47,rp:6,rs:5,lsrp:4,lprs:3
[2/2]aa48lf:48,rf:35
[3/0]aba34lf:30,ls:4,rf:25,rs:2
[3/1]aab31lf:26,ls:5,rf:18,rs:5
[3/2]baa29lf:26,lp:3,rf:18,rp:2

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ c
2. abccac ⇒ cccaab
3. cbccaac ⇒ bca
4. abccaac ⇒ ca
5. bcccaac ⇒ cbccaca
6. cbccacccaac ⇒ bcccaca
7. bcccacccaac ⇒ cbccacccaca
8. cbccacccacccaac ⇒ bcccacccaca
9. cbccaab ⇒ bc
10. abccaab ⇒ c
11. bcccaab ⇒ cbccac
12. cbccacccaab ⇒ bcccac
13. bcccacccaab ⇒ cbccacccac
14. cbccacccacccaab ⇒ bcccacccac
15. cccaabbccaac ⇒ abccabca
16. cccaabbccacccaac ⇒ abccabcccaca
17. cccaabbccaab ⇒ abccabc
18. cccaabbccacccaab ⇒ abccabcccac
19. abccaaabccabc ⇒ caccaabbccaab
20. bcaccaabbccaab ⇒ cbccaaabccabc
...

Collecting factors up to length 5 / frequency 3:

[2/0]cc57lf:53,lp:4,rf:34,rp:1,a:2
[2/1]ca36lf:36,rf:32,rp:2,rs:8,re:1,a:2
[2/2]ab33lf:20,lp:4,ls:9,rf:13,rp:4,rs:2,lsrp:2,lprs:2,a:2
[3/0]cca35lf:35,rf:23,a:2
[3/1]bcc24lf:20,lp:4,rf:17,rp:4,a:2
[3/2]aab24lf:15,ls:9,rf:4,rs:2,a:2
[4/0]caab23lf:14,ls:9,rf:3,rs:2,a:2
[4/1]ccaa23lf:23,rf:4,a:2
[4/2]ccca22lf:18,lp:4,rf:11,rp:1,a:5

Considering [length 3 / frequency 1] bcc=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. dcaad ⇒ cdaccc
2. cdaad ⇒ dc
3. dcaac ⇒ cdaca
4. adaccc ⇒ cccaad
5. adaca ⇒ cccaac
6. adaad ⇒ ccc
7. cdacccaad ⇒ dcaccc
8. adaac ⇒ ca
9. cdacccaac ⇒ dcaca
10. cdaacdaac ⇒ da
11. dcaab ⇒ cdac
12. dccaab ⇒ cdaacdac
13. cccaab ⇒ adac
14. adaab ⇒ c
15. cdaacdaab ⇒ d
16. bc ⇒ cdaab
17. cdaabdc ⇒ ddaad
18. ba ⇒ c
19. cdaabdaad ⇒ bdc
...

Collecting factors up to length 4 / frequency 3:

[2/0]ad20lf:10,lp:5,ls:5,rf:3,rp:1,rs:2,lprs:1,a:3
[2/1]aa18lf:18,rf:5,a:3
[2/2]cd16lf:9,lp:7,rf:6,rp:5,a:4
[3/0]cda16lf:9,lp:7,rf:6,rp:5,a:4
[3/1]aab12lf:7,ls:5,rf:1,rs:1,a:3
[3/2]daa11lf:11,rf:3,a:3

Considering [length 3 / frequency 1] aab=e.

Step 4

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cded ⇒ ddec
2. cdec ⇒ d
3. dcedece ⇒ cdc
4. eccedece ⇒ c
5. cccedece ⇒ eccedecc
6. cdeeccedecc ⇒ dccedece
7. ad ⇒ eccedec
8. ac ⇒ ecce
9. aecd ⇒ eeccecedecedecec
10. aeccd ⇒ eeccecedecedec
11. aecce ⇒ ea
12. aeccc ⇒ eeccecedece
13. aab ⇒ e
14. bd ⇒ ddecec
15. be ⇒ cab
16. bc ⇒ cde
17. ba ⇒ c
...

Collecting factors up to length 7 / frequency 2:

[2/0]ec13lf:11,lp:1,ls:1,rf:21,rp:3,rs:5,a:2
[2/1]cc12lf:9,lp:1,ls:2,rf:8,rs:1,lprs:1,a:11
[3/0]aec8lf:4,lp:4,a:16
[3/1]ecc8lf:6,lp:1,ls:1,rf:7,rp:3,rs:1,a:11
[4/0]aecc6lf:3,lp:3,a:16
[4/1]dece6lf:3,ls:3,rf:6,rs:2,a:10
[5/0]edece6lf:3,ls:3,rf:5,rs:2,a:15
[5/1]cedec4lf:4,rf:8,rs:2,a:13
[6/0]cedece6lf:3,ls:3,rf:5,rs:2,a:15
[6/1]ccedec3lf:3,rf:3,rs:1,a:13

Considering [length 5 / frequency 1] cedec=f.

Step 5

Rewriting system is complete. See ⟨a, b | abbabaaab=ba⟩.