Morphocompletion for #4485 ⟨a, b | aaabaaab=aba⟩

Back:⟨a, b | aaabaaab=aba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaaaab ⇒ aaababa
2. aaabaaab ⇒ aba
3. abaaaaaababa ⇒ aaababaaaaab
4. aaabaaaaababa ⇒ abaaaaab
5. abaaaaabbaaaab ⇒ abaaaaabaababa
6. abaaaaaabbaaaab ⇒ abaaaaaabaababa
7. abaaaaabaabaaab ⇒ abaaaaabba
8. abaaaaaaabbaaaab ⇒ abaaaaaaabaababa
9. abaaaaaabaabaaab ⇒ abaaaaaabba
10. abaaaaaaabaabaaab ⇒ abaaaaaaabba
11. abaaaaaaaabaabaaab ⇒ abaaaaaaaabba
...

Collecting factors up to length 7 / frequency 3:

[2/0]aa78lf:76,lp:2,rf:52,rp:2
[2/1]ab53lf:35,lp:9,ls:9,rf:28,rp:9,rs:2,lprp:7,lsrp:8,lprs:1
[2/2]ba28lf:26,ls:2,rf:26,rs:9
[3/0]aaa54lf:52,lp:2,rf:38,rp:2
[3/1]aba34lf:23,lp:9,ls:2,rf:22,rp:9,rs:5,re:1,lprp:7,lsrp:1,lprs:4
[3/2]aab33lf:24,ls:9,rf:14,rs:2
[4/0]aaaa32lf:32,rf:27,a:1
[4/1]aaab31lf:20,lp:2,ls:9,rf:11,rp:2,rs:2,lsrp:1,lprs:1
[4/2]abaa28lf:19,lp:9,rf:12,rp:8,lprp:7
[5/0]abaaa24lf:15,lp:9,rf:9,rp:8,lprp:7
[5/1]aaaaa19lf:19,rf:18,a:2
[5/2]aaaab17lf:13,ls:4,rf:9,rs:2,a:1
[6/0]abaaaa19lf:10,lp:9,rf:9,rp:8,lprp:7,a:1
[6/1]abaaab10lf:5,ls:5
[6/2]aaaaaa10lf:10,rf:9,a:3

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. caaac ⇒ aacca
3. aacaac ⇒ ca
4. aacaaaaccc ⇒ caaaacb
5. caaaaacca ⇒ aaccaaaac
6. aacaaaacca ⇒ caaaac
7. aaccaaaaaccc ⇒ cacaaaacb
8. caaaacacaac ⇒ caaaacba
9. aaccaaaacb ⇒ caaaaaccc
10. aaccacaaaaaccc ⇒ cacacaaaacb
11. caaaaacacaac ⇒ caaaaacba
12. aaccacaaaacb ⇒ cacaaaaaccc
13. caaaacbaaac ⇒ caaaacacca
14. caaaaaacacaac ⇒ caaaaaacba
15. aaccacacaaaacb ⇒ cacacaaaaaccc
16. caaaaacbaaac ⇒ caaaaacacca
17. caaaaaaacacaac ⇒ caaaaaaacba
18. caaaacacaaaacca ⇒ caaaacbaaaac
19. caaaaaacbaaac ⇒ caaaaaacacca
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa92lf:84,lp:8,rf:65,rp:2,a:2
[2/1]ac52lf:43,ls:9,rf:28,rs:3,a:2
[2/2]ca48lf:35,lp:10,ls:3,rf:30,rp:16,rs:5,re:1,lprp:8,lsrp:2,lprs:4,a:2
[2/3]cc17lf:14,ls:3,rf:11,rs:3,a:3
[2/4]cb9lf:6,ls:3,rf:8,rs:3,a:6
[3/0]aac51lf:34,lp:8,ls:9,rf:19,rp:2,rs:3,lsrp:1,lprs:1,a:2
[3/1]aaa50lf:50,rf:46,a:3
[3/2]caa33lf:23,lp:10,rf:16,rp:11,lprp:8,a:2
[3/3]aca17lf:17,rf:9,a:2
[3/4]cca11lf:8,ls:3,rf:5,rs:4,a:3
[4/0]aaaa29lf:29,rf:29,a:4
[4/1]caaa28lf:18,lp:10,rf:16,rp:11,lprp:8,a:3
[4/2]aaac25lf:21,ls:4,rf:17,rs:3,a:3
[4/3]aacc16lf:11,lp:5,rf:5,rp:2,a:3
[4/4]acaa11lf:11,rf:4,a:2
[5/0]caaaa26lf:17,lp:9,rf:16,rp:11,lprp:8,a:4
[5/1]aaaac17lf:17,rf:17,rs:3,a:4
[5/2]aacca16lf:8,lp:5,ls:3,rf:2,rp:2,rs:1,re:1,lsrp:1,a:3
[5/3]aaaaa12lf:12,rf:12,a:5
[5/4]acaac10lf:5,ls:5,a:2

Considering [length 2 / frequency 0] aa=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. dcddcdc ⇒ cd
2. cdddcdc ⇒ dcddccd
3. dcddcddcddccd ⇒ cddddcdc
4. cddddcdccddcdc ⇒ dcddcddcddcccd
5. cdddcddcddccd ⇒ dcddccddddcdc
6. dcddcddcddcddcddcccd ⇒ cdddddcdccddcdc
7. cddddcdccddcddcddccd ⇒ dcddcddcddcccddddcdc
8. cdddcddcddcddcddcccd ⇒ dcddccdddddcdccddcdc
9. ca ⇒ dcdc
10. da ⇒ ad
11. db ⇒ ac
12. dcdcb ⇒ cc
13. cddcb ⇒ dcddccc
14. cdddcb ⇒ dcddcddcddccc
15. cddddcb ⇒ dcddcddcddcddcddccc
16. cdddddcb ⇒ dcddcddcddcddcddcddcddccc
17. cddddcdccdcb ⇒ dcddcddcddcccc
18. cdddddcdccdcb ⇒ dcddcddcddcddcddcccc
19. aa ⇒ d
20. ab ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]cd61lf:45,lp:11,ls:5,rf:51,rp:3,rs:3,re:1,lsrp:2,lprs:2,a:3
[2/1]dc51lf:44,lp:4,ls:3,rf:60,rp:12,rs:6,lsrp:2,lprs:2,a:3
[2/2]dd48lf:48,rf:52,a:7
[2/3]cb14lf:7,ls:7,a:6
[2/4]cc11lf:11,rf:24,rp:1,rs:7,re:1,a:6
[3/0]cdd41lf:30,lp:11,rf:40,rp:2,a:7
[3/1]ddc30lf:30,rf:40,a:7
[3/2]dcd29lf:25,lp:4,rf:41,rp:12,a:3
[3/3]ddd18lf:18,rf:12,a:9
[3/4]dcb14lf:7,ls:7,a:6
[4/0]ddcd21lf:21,rf:29,a:7
[4/1]cddc21lf:20,lp:1,rf:35,a:7
[4/2]cddd20lf:10,lp:10,rf:5,rp:2,a:9
[4/3]dcdd20lf:17,lp:3,rf:33,rp:11,a:7
[4/4]dcdc12lf:8,lp:1,ls:3,rf:8,rp:1,rs:6,re:1,a:3
[5/0]dcddc20lf:17,lp:3,rf:33,rp:11,a:7
[5/1]ddcdd14lf:14,rf:22,a:10
[5/2]cddcd14lf:14,rf:24,a:7
[5/3]cdddd12lf:6,lp:6,rf:5,rp:2,a:11
[5/4]ddcdc10lf:7,ls:3,rf:7,rs:5,a:7

Considering [length 3 / frequency 0] cdd=e.

Step 4

Rewriting system is complete. See ⟨a, b | aaabaaab=aba⟩.