Morphocompletion for #1909 ⟨a, b | aaabbaaa=ab⟩

Back:⟨a, b | aaabbaaa=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabbaaa ⇒ ab
2. abaabbaaa ⇒ abb
3. aaabbab ⇒ abbbaaa
4. aaabbaab ⇒ ababbaaa
5. abbaabbaaa ⇒ abbb
6. ababbaaabaaa ⇒ aaabbb
7. abaabbab ⇒ abbbbaaa
8. abaabbaab ⇒ abbabbaaa
9. abbbaabbaaa ⇒ abbbb
10. abbabbaaabaaa ⇒ abaabbb
11. abbaabbab ⇒ abbbbbaaa
12. abbaabbaab ⇒ abbbabbaaa
13. abbbbaabbaaa ⇒ abbbbb
14. abbbaabbab ⇒ abbbbbbaaa
15. abbbbbaabbaaa ⇒ abbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab55lf:36,lp:12,ls:7,rf:19,rp:14,rs:1,re:1,lprp:11,lsrp:7
[2/1]aa50lf:39,lp:3,ls:8,rf:17,rp:1,rs:7,lsrp:1,lprs:2
[2/2]bb30lf:30,rf:39,rs:7
[2/3]ba29lf:29,rf:11
[3/0]abb31lf:23,lp:8,rf:16,rp:11,rs:1,re:1,lprp:7
[3/1]aaa24lf:13,lp:3,ls:8,rf:8,rp:1,rs:7,lsrp:1,lprs:2
[3/2]bba23lf:23,rf:9
[3/3]baa23lf:23,rf:8
[3/4]aab21lf:18,ls:3,rf:2
[3/5]bab10lf:6,ls:4,rf:3,a:1
[3/6]aba10lf:6,lp:4,rf:2,rp:2,a:2
[4/0]abba23lf:19,lp:4,rf:4,rp:1
[4/1]bbaa18lf:18,rf:7
[4/2]baaa18lf:10,ls:8,rf:7,rs:7
[4/3]baab16lf:13,ls:3,rf:1,a:2
[4/4]aabb13lf:13,rf:2
[4/5]bbab9lf:5,ls:4,rf:2,a:1
[4/6]abbb8lf:4,lp:4,rf:11,rp:9,rs:3,re:1,lprp:4,a:1
[5/0]abbaa17lf:14,lp:3,rf:3
[5/1]bbaaa14lf:8,ls:6,rf:7,rs:7
[5/2]bbaab13lf:10,ls:3,a:2
[5/3]aabba13lf:13
[5/4]abbab10lf:5,lp:1,ls:4,rf:1,rp:1,a:1
[5/5]baabb10lf:10,rf:1,a:3
[5/6]aaabb6lf:3,lp:3,rf:1,rp:1
[6/0]abbaaa14lf:8,ls:6,rf:3,rs:3
[6/1]abbaab12lf:6,lp:3,ls:3,a:2
[6/2]baabba10lf:10,a:3
[6/3]aabbaa9lf:9
[6/4]aabbab8lf:4,ls:4,a:1
[6/5]bbaabb7lf:7,a:4
[6/6]abaabb6lf:3,lp:3,rf:1,rp:1,a:3
[7/0]aabbaaa12lf:6,ls:6
[7/1]bbaabba7lf:7,a:4
[7/2]baabbaa7lf:7,a:3
[7/3]abbaabb6lf:3,lp:3,a:4
[7/4]baabbab6lf:3,ls:3,a:5
[7/5]aabbaab6lf:3,ls:3,a:2
[7/6]abaabba6lf:3,lp:3,a:3

Considering [length 3 / frequency 0] abb=c.

Step 2

Rewriting system is complete. See ⟨a, b | aaabbaaa=ab⟩.