Morphocompletion for #2343 ⟨a, b | abbaaab=aaa⟩

Back:⟨a, b | abbaaab=aaa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbaaab ⇒ aaa
2. aaabaaab ⇒ abbaaaaa
3. abbabbaaaaa ⇒ aaaaaab
4. aaababbaaaaa ⇒ abbaaaaaaaab
5. aaaaaabbbaaab ⇒ aaaaaabaa
6. aaaaaabaabaaab ⇒ aaaaaabbbaaaaa
7. aaaaaababbbaaab ⇒ aaaaaababaa
8. aaaaaabaabbbaaab ⇒ aaaaaabaabaa
9. abbabbaaaabbaaaaa ⇒ aaaaaababaaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa62lf:53,lp:6,ls:3,rf:53,rp:7,rs:6,lprp:4,lsrp:2,lprs:5
[2/1]ab31lf:22,lp:3,ls:6,rf:13,rp:2,rs:3,lsrp:1,lprs:2
[2/2]ba16lf:16,rf:10
[2/3]bb13lf:13,rf:4
[3/0]aaa44lf:35,lp:6,ls:3,rf:38,rp:7,rs:3,re:1,lprp:4,lsrp:2,lprs:2
[3/1]aab21lf:15,ls:6,rf:9,rs:3
[3/2]abb13lf:10,lp:3,rf:3,rp:2
[3/3]baa12lf:12,rf:8,rs:3
[3/4]bba10lf:10,rf:3
[3/5]aba6lf:6,rf:7,a:1
[3/6]bab4lf:4,rf:2,a:2
[4/0]aaaa26lf:19,lp:4,ls:3,rf:27,rp:6,rs:2,lprp:4,lsrp:2,lprs:1,a:1
[4/1]aaab21lf:13,lp:2,ls:6,rf:8,rs:3,lprs:1
[4/2]abba10lf:7,lp:3,rf:2,rp:2
[4/3]baaa10lf:10,rf:4
[4/4]bbaa8lf:8,rf:3
[4/5]aaba6lf:6,rf:5,a:1
[4/6]abaa4lf:4,rf:5,rs:3,a:1
[5/0]aaaaa18lf:11,lp:4,ls:3,rf:18,rp:6,rs:2,lprp:4,lsrp:2,lprs:1,a:1
[5/1]baaab12lf:6,ls:6,rf:1,rs:1
[5/2]bbaaa8lf:8,rf:3
[5/3]aaaba7lf:5,lp:2,rf:4,a:1
[5/4]abbaa6lf:5,lp:1,rf:2,rp:2
[5/5]aaaab5lf:5,rf:7,rs:2,a:2
[5/6]aabaa4lf:4,rf:3,rs:2,a:1
[6/0]aaaaaa8lf:4,lp:4,rf:9,rp:6,lprp:4,a:2
[6/1]bbaaab8lf:4,ls:4
[6/2]abbaaa6lf:5,lp:1,rf:2,rp:2
[6/3]baaaaa6lf:3,ls:3,rf:3,rs:2,a:1
[6/4]aaaaab4lf:4,rf:7,rs:2,a:2
[6/5]aaabaa4lf:3,lp:1,rf:2,rs:1,a:1
[6/6]abaaab4lf:2,ls:2,rf:1,rs:1,a:1
[7/0]aaaaaab8lf:4,lp:4,rf:7,rp:6,rs:2,re:1,lprp:4,a:2
[7/1]bbaaaaa6lf:3,ls:3,rf:3,rs:2,a:1
[7/2]bbbaaab6lf:3,ls:3,a:4
[7/3]aabaaab4lf:2,ls:2,a:1
[7/4]abbaaaa4lf:4,rf:2,rp:2,a:1
[7/5]abbabba4lf:2,lp:2,a:2
[7/6]aaaaaba3lf:3,rf:4,a:4

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

Step 2

Rewriting system is complete. See ⟨a, b | abbaaab=aaa⟩.