Morphocompletion for #112 ⟨a, b | abba=ab⟩

Back:⟨a, b | abba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. abba ⇒ ab
2. abbba ⇒ abb
3. abbbba ⇒ abbb
4. abbbbba ⇒ abbbb
5. abbbbbba ⇒ abbbbb
6. abbbbbbba ⇒ abbbbbb
7. abbbbbbbba ⇒ abbbbbbb
8. abbbbbbbbba ⇒ abbbbbbbb
9. abbbbbbbbbba ⇒ abbbbbbbbb
10. abbbbbbbbbbba ⇒ abbbbbbbbbb
11. abbbbbbbbbbbba ⇒ abbbbbbbbbbb
12. abbbbbbbbbbbbba ⇒ abbbbbbbbbbbb
13. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
14. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
15. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb210lf:210,rf:190,rs:19
[2/1]ab40lf:20,lp:20,rf:20,rp:20,rs:1,re:1,lprp:20,lprs:1
[2/2]ba40lf:20,ls:20
[3/0]bbb190lf:190,rf:171,rs:18,a:1
[3/1]abb40lf:20,lp:20,rf:19,rp:19,rs:1,re:1,lprp:19,lprs:1
[3/2]bba40lf:20,ls:20
[4/0]bbbb171lf:171,rf:153,rs:17,a:2
[4/1]abbb38lf:19,lp:19,rf:18,rp:18,rs:1,re:1,lprp:18,lprs:1,a:1
[4/2]bbba38lf:19,ls:19,a:1
[5/0]bbbbb153lf:153,rf:136,rs:16,a:3
[5/1]abbbb36lf:18,lp:18,rf:17,rp:17,rs:1,re:1,lprp:17,lprs:1,a:2
[5/2]bbbba36lf:18,ls:18,a:2
[6/0]bbbbbb136lf:136,rf:120,rs:15,a:4
[6/1]abbbbb34lf:17,lp:17,rf:16,rp:16,rs:1,re:1,lprp:16,lprs:1,a:3
[6/2]bbbbba34lf:17,ls:17,a:3
[7/0]bbbbbbb120lf:120,rf:105,rs:14,a:5
[7/1]abbbbbb32lf:16,lp:16,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1,a:4
[7/2]bbbbbba32lf:16,ls:16,a:4

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

Step 2

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