Morphocompletion for #4683 ⟨a, b | aabbaaab=baa⟩

Back:⟨a, b | aabbaaab=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbaaab ⇒ baa
2. baabaaab ⇒ aabbabaa
3. aabbaaaaabbabaa ⇒ baaaabaaab
4. baaaabaaabbbaaab ⇒ aabbaaaaabbabbaa
5. baabaaaaabbabaa ⇒ aabbabaaaabaaab
6. baaaabaaababbaaab ⇒ aabbaaaaabbababaa
7. aabbaaaaabbaaaaabbabbaa ⇒ baaaaaabaaabbbaaab
8. baaaaaabaaabbbaaabbbaaab ⇒ aabbaaaaabbaaaaabbabbbaa
9. baaaabaaabbbaaaaabbabaa ⇒ aabbaaaaabbabbaaaabaaab
10. baabaaaaabbaaaaabbabbaa ⇒ aabbabaaaaaabaaabbbaaab
11. aabbaaaaabbaaaaabbababaa ⇒ baaaaaabaaababbaaab
12. baaaabaaababbaaaaabbabaa ⇒ aabbaaaaabbababaaaabaaab
...

Collecting factors up to length 7 / frequency 4:

[2/0]aa104lf:93,lp:4,ls:7,rf:84,rp:8,rs:5,lsrp:4,lprs:1
[2/1]ba54lf:46,lp:8,rf:39,rp:4
[2/2]ab48lf:43,ls:5,rf:42,rs:7
[2/3]bb26lf:26,rf:23
[3/0]aaa53lf:53,rf:48
[3/1]baa51lf:36,lp:8,ls:7,rf:28,rp:4,rs:5,re:1,lsrp:3,lprs:4
[3/2]aab42lf:33,lp:4,ls:5,rf:31,rp:8,rs:7,lsrp:4,lprs:3
[3/3]bba22lf:22,rf:20
[4/0]baaa31lf:26,lp:5,rf:23,rp:3
[4/1]aaab31lf:26,ls:5,rf:23,rs:7
[4/2]aaaa27lf:27,rf:25,a:2
[4/3]aabb22lf:18,lp:4,rf:16,rp:8
[5/0]baaaa20lf:15,lp:5,rf:13,rp:3,a:2
[5/1]aabba18lf:14,lp:4,rf:14,rp:8
[5/2]baaab16lf:11,ls:5,rf:10,rs:7
[5/3]aaaab15lf:15,rf:13,a:2
[6/0]baaaaa12lf:11,lp:1,rf:9,rp:2,a:2
[6/1]aaaaab11lf:11,rf:9,a:2
[6/2]aabbaa11lf:7,lp:4,rf:6,rp:5
[6/3]aaabba10lf:10,rf:6,a:2

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ca ⇒ ac
2. cbbacb ⇒ bc
3. bcbacb ⇒ cbbabc
4. aa ⇒ c
5. cbbaccbbabc ⇒ bccbacb
6. bcbaccbbabc ⇒ cbbabccbacb
7. bccbacbbbacb ⇒ cbbaccbbabbc
8. cbbaccbbabac ⇒ bccbacba
9. cbbaccbbaccbbabbc ⇒ bcccbacbbbacb
10. bcbaccbbabac ⇒ cbbabccbacba
11. bcbaccbbaccbbabbc ⇒ cbbabcccbacbbbacb
12. bccbacbabbacb ⇒ cbbaccbbababc
13. bccbacbbbaccbbabc ⇒ cbbaccbbabbccbacb
14. bcccbacbbbacbbbacb ⇒ cbbaccbbaccbbabbbc
15. cbbaccbbaccbbababc ⇒ bcccbacbabbacb
16. cbbaccbbaccbbabbac ⇒ bcccbacbbbacba
17. bcbaccbbaccbbababc ⇒ cbbabcccbacbabbacb
18. bcbaccbbaccbbabbac ⇒ cbbabcccbacbbbacba
19. bccbacbabbaccbbabc ⇒ cbbaccbbababccbacb
20. cbbaccbbaccbbababac ⇒ bcccbacbabbacba
...

Collecting factors up to length 6 / frequency 7:

[2/0]cb61lf:49,lp:7,ls:5,rf:50,rp:11,rs:8,lsrp:4,lprs:3,a:2
[2/1]ba54lf:54,rf:47,rs:5,a:2
[2/2]ac41lf:36,ls:5,rf:27,rp:1,rs:1,re:1,a:2
[2/3]bb41lf:41,rf:32,a:2
[2/4]bc38lf:19,lp:11,ls:8,rf:18,rp:7,rs:5,re:1,lsrp:3,lprs:4,a:2
[2/5]cc26lf:26,rf:26,a:5
[2/6]ab18lf:18,rf:16,a:4
[3/0]bac41lf:36,ls:5,rf:26,a:2
[3/1]cbb38lf:31,lp:7,rf:21,rp:11,a:2
[3/2]bba35lf:35,rf:24,a:2
[3/3]ccb25lf:25,rf:19,a:5
[3/4]acc20lf:20,rf:6,a:5
[3/5]bab18lf:18,rf:16,a:4
[3/6]acb16lf:11,ls:5,rf:20,rs:8,a:2
[4/0]cbba34lf:27,lp:7,rf:17,rp:11,a:2
[4/1]bbac24lf:22,ls:2,rf:13,a:2
[4/2]bacc20lf:20,rf:6,a:5
[4/3]accb20lf:20,rf:6,a:5
[4/4]ccbb20lf:20,rf:6,a:5
[4/5]bacb16lf:11,ls:5,rf:20,rs:8,a:2
[4/6]bbab13lf:13,rf:11,a:4
[5/0]cbbac21lf:14,lp:7,rf:6,rp:5,a:2
[5/1]ccbba20lf:20,rf:6,a:5
[5/2]baccb20lf:20,rf:6,a:5
[5/3]accbb20lf:20,rf:6,a:5
[5/4]bbacc15lf:15,rf:6,a:5
[5/5]cbbab13lf:13,rf:11,rp:6,a:4
[5/6]bcbac12lf:6,lp:6,a:4

Considering [length 4 / frequency 0] cbba=d.

Step 3

Rewriting system is complete. See ⟨a, b | aabbaaab=baa⟩.