Morphocompletion for #1987 ⟨a, b | aabbaaba=ba⟩

Back:⟨a, b | aabbaaba=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaabbba ⇒ ba
2. bbaaba ⇒ aabbba
3. aaaabbbba ⇒ bba
4. aaaabaabbba ⇒ baaba
5. bbaabba ⇒ aabbbba
6. aaaabbbbba ⇒ bbba
7. aaaabaabbbba ⇒ baabba
8. bbaabbba ⇒ aabbbbba
9. aaaabbbbbba ⇒ bbbba
10. aaaabaabbbbba ⇒ baabbba
11. bbaabbbba ⇒ aabbbbbba
12. aaaabbbbbbba ⇒ bbbbba
13. bbaabbbbba ⇒ aabbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb49lf:44,lp:5,rf:33,rp:4,a:3
[2/1]aa40lf:32,lp:8,rf:8,rp:5,a:3
[2/2]ba34lf:21,ls:13,rf:16,rp:4,rs:13,re:1,lsrp:4,lsrs:13,a:3
[2/3]ab16lf:16,rf:8,a:3
[3/0]bba34lf:17,lp:5,ls:12,rf:11,rp:1,rs:11,re:1,lsrp:1,lprs:5,lsrs:10,a:3
[3/1]bbb27lf:27,rf:22,rp:3,a:3
[3/2]aaa24lf:16,lp:8,a:7
[3/3]aab16lf:16,rf:8,rp:5,a:3
[3/4]abb12lf:12,rf:7,a:3
[3/5]baa8lf:8,rf:3,rp:3,a:3
[3/6]aba5lf:4,ls:1,rf:1,rs:1,a:3
[4/0]bbba22lf:11,ls:11,rf:9,rp:1,rs:9,re:1,lsrp:1,lsrs:7,a:3
[4/1]bbbb16lf:16,rf:13,rp:2,a:4
[4/2]aaaa16lf:8,lp:8,a:7
[4/3]aabb12lf:12,rf:7,rp:5,a:3
[4/4]abbb11lf:11,rf:6,a:3
[4/5]bbaa10lf:5,lp:5,a:3
[4/6]baab8lf:8,rf:3,rp:3,a:3
[5/0]bbbba16lf:8,ls:8,rf:6,rp:1,rs:6,re:1,lsrp:1,lsrs:4,a:4
[5/1]aaaab16lf:8,lp:8,a:7
[5/2]aabbb11lf:11,rf:6,rp:5,a:3
[5/3]bbaab10lf:5,lp:5,a:3
[5/4]bbbbb8lf:8,rf:7,rp:1,a:7
[5/5]abbbb8lf:8,rf:4,a:4
[5/6]baabb7lf:7,rf:2,rp:2,a:4
[6/0]bbbbba10lf:5,ls:5,rf:4,rp:1,rs:4,re:1,lsrp:1,lsrs:2,a:7
[6/1]aaaabb10lf:5,lp:5,a:7
[6/2]bbaabb8lf:4,lp:4,a:4
[6/3]aabbbb8lf:8,rf:4,rp:4,a:4
[6/4]abbbba6lf:3,ls:3,rf:1,rs:1,a:4
[6/5]baabbb6lf:6,rf:1,rp:1,a:12
[6/6]aabbba6lf:3,ls:3,rf:2,rp:1,rs:2,re:1,a:3
[7/0]aaaabbb10lf:5,lp:5,a:7
[7/1]abbbbba6lf:3,ls:3,rf:1,rs:1,a:12
[7/2]bbaabbb6lf:3,lp:3,a:12
[7/3]aabbbba6lf:3,ls:3,rf:1,rp:1,rs:1,re:1,a:4
[7/4]aaaabaa6lf:3,lp:3,a:33
[7/5]aabbbbb5lf:5,rf:3,rp:3,a:7
[7/6]bbbbbba4lf:2,ls:2,rf:2,rs:2,a:7

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

Step 2

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