Morphocompletion for #2076 ⟨a, b | abbaabba=ab⟩

Back:⟨a, b | abbaabba=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. ababba ⇒ abbaab
2. abbbabaa ⇒ ab
3. abbabba ⇒ abbbaab
4. abbaabb ⇒ abbbaba
5. abbbbabaa ⇒ abb
6. abbbabba ⇒ abbbbaab
7. abbbaabb ⇒ abbbbaba
8. abbbbbabaa ⇒ abbb
9. abbbbaabba ⇒ abbb
10. abbbabababa ⇒ ababb
11. abbbababaab ⇒ abbba
12. abbbbbbabaa ⇒ abbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab41lf:28,lp:12,ls:1,rf:18,rp:12,rs:4,re:1,lprp:12,lsrp:1,lprs:4,a:1
[2/1]bb35lf:33,ls:2,rf:22,rs:5,a:1
[2/2]ba30lf:25,ls:5,rf:9,rs:3,a:1
[2/3]aa12lf:8,ls:4,rf:3,a:1
[3/0]abb30lf:17,lp:11,ls:2,rf:11,rp:10,rs:2,re:1,lprp:9,lsrp:2,lprs:2,a:1
[3/1]bba19lf:15,ls:4,rf:6,rs:1,a:1
[3/2]bbb16lf:16,rf:11,rs:3,a:3
[3/3]bab12lf:12,rf:3,a:1
[3/4]aba12lf:10,lp:1,ls:1,rf:3,rp:1,rs:2,lsrp:1,a:1
[3/5]baa12lf:8,ls:4,rf:3,a:1
[3/6]aab5lf:4,ls:1,rf:3,rs:3,a:1
[4/0]abbb18lf:9,lp:9,rf:8,rp:8,rs:2,re:2,lprp:6,lprs:2,a:3
[4/1]abba12lf:6,lp:2,ls:4,rf:1,rp:1,lsrp:1,a:1
[4/2]baba10lf:9,ls:1,rf:2,rs:2,a:19
[4/3]bbba9lf:9,rf:5,rs:1,a:3
[4/4]abaa9lf:5,ls:4,a:25
[4/5]bbab8lf:8,rf:2,a:3
[4/6]bbbb7lf:7,rf:3,rs:1,a:5
[5/0]abbba10lf:5,lp:5,rf:3,rp:3,rs:1,re:1,lprp:1,lprs:1,a:3
[5/1]babaa9lf:5,ls:4,a:25
[5/2]abbbb8lf:4,lp:4,rf:3,rp:3,rs:1,re:1,lprp:1,lprs:1,a:5
[5/3]bbbab7lf:7,rf:2,a:6
[5/4]babba6lf:3,ls:3,a:1
[5/5]bbaba6lf:6,rf:2,rs:2,a:19
[5/6]baabb5lf:3,ls:2,a:5
[6/0]abbbab8lf:4,lp:4,rf:1,rp:1,a:6
[6/1]bbabaa8lf:4,ls:4,a:25
[6/2]bbbaba6lf:6,rf:2,rs:2,a:19
[6/3]bbaabb5lf:3,ls:2,a:5
[6/4]abbbbb4lf:2,lp:2,a:34
[6/5]abbbba4lf:2,lp:2,rf:2,rp:2,a:5
[6/6]bbabba4lf:2,ls:2,a:3
[7/0]bbbabaa8lf:4,ls:4,a:25
[7/1]abbbaba6lf:3,lp:3,rf:1,rp:1,rs:1,re:1,a:19
[7/2]bbbaabb3lf:2,ls:1,a:5
[7/3]bbbbaba3lf:3,rf:1,rs:1,a:32
[7/4]abbbbbb2lf:1,lp:1,a:35
[7/5]bbbbbab2lf:2,a:34
[7/6]abbbabb2lf:1,lp:1,a:6

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

Step 2

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