Morphocompletion for #4870 ⟨a, b | abbabaab=baa⟩

Back:⟨a, b | abbabaab=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbabaab ⇒ baa
2. baababaab ⇒ abbababaa
3. abbaabbababaa ⇒ baaabaab
4. baaabaabbbabaab ⇒ abbaabbabababaa
5. baabaabbababaa ⇒ abbababaaabaab
6. abbabaaabbababaa ⇒ baaaababaab
7. baaaababaabbbabaab ⇒ abbabaaabbabababaa
8. baababaaabbababaa ⇒ abbababaaaababaab
9. baaabaabbbaabbababaa ⇒ abbaabbabababaaabaab
10. abbabaaabbaabbabababaa ⇒ baaaaabaabbbabaab
11. baaaaabaabbbabaabbbabaab ⇒ abbabaaabbaabbababababaa
12. baaaababaabbbaabbababaa ⇒ abbabaaabbabababaaabaab
13. baaabaabbbabaaabbababaa ⇒ abbaabbabababaaaababaab
14. baababaaabbaabbabababaa ⇒ abbababaaaaabaabbbabaab
15. abbabaaabbabaaabbabababaa ⇒ baaaaaababaabbbabaab
16. baaaaaababaabbbabaabbbabaab ⇒ abbabaaabbabaaabbababababaa
17. baaaababaabbbabaaabbababaa ⇒ abbabaaabbabababaaaababaab
18. baababaaabbabaaabbabababaa ⇒ abbababaaaaaababaabbbabaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba120lf:107,lp:13,rf:96,rp:5
[2/1]ab111lf:100,lp:5,ls:6,rf:103,rp:13,rs:12,lsrp:5,lprs:4
[2/2]aa95lf:83,ls:12,rf:76,rs:6
[2/3]bb41lf:41,rf:31
[3/0]baa82lf:57,lp:13,ls:12,rf:44,rp:5,rs:6,re:1,lsrp:4,lprs:5
[3/1]aba63lf:63,rf:64
[3/2]aab51lf:45,ls:6,rf:38,rs:12
[3/3]bab50lf:50,rf:52
[3/4]abb36lf:31,lp:5,rf:27,rp:13
[3/5]bba31lf:31,rf:27
[3/6]aaa26lf:26,rf:32,a:2
[4/0]abaa51lf:39,ls:12,rf:35,rs:5
[4/1]baba50lf:50,rf:52
[4/2]baab38lf:27,lp:5,ls:6,rf:20,rs:12,lprs:4
[4/3]baaa26lf:18,lp:8,rf:18,rp:4,a:2
[4/4]abba26lf:21,lp:5,rf:23,rp:13
[4/5]aabb26lf:26,rf:14,a:2
[4/6]bbab26lf:26,rf:23
[5/0]babaa46lf:34,ls:12,rf:29,rs:5
[5/1]bbaba26lf:26,rf:23
[5/2]ababa24lf:24,rf:29,a:1
[5/3]abaab23lf:17,ls:6,rf:16,rs:12
[5/4]abbab22lf:18,lp:4,rf:19,rp:10
[5/5]baaab16lf:13,lp:3,rf:10,rp:1,a:2
[5/6]aabba16lf:16,rf:10,a:2
[6/0]ababaa32lf:20,ls:12,rf:19,rs:5,a:1
[6/1]abbaba22lf:18,lp:4,rf:19,rp:10
[6/2]babaab18lf:12,ls:6,rf:10,rs:8
[6/3]bababa16lf:16,rf:23,a:1
[6/4]bbabaa14lf:14,rf:10
[6/5]aabbab14lf:14,rf:9,a:2
[6/6]bbabab12lf:12,rf:13,a:1
[7/0]bababaa24lf:12,ls:12,rf:13,rs:5,a:1
[7/1]aabbaba14lf:14,rf:9,a:2
[7/2]bbababa12lf:12,rf:13,a:1
[7/3]bbabaab12lf:7,ls:5,rf:4,rs:4
[7/4]abbabab12lf:12,rf:13,rp:5,a:1
[7/5]babaaab10lf:10,rf:9,a:3
[7/6]baaabba10lf:10,rf:6,a:3

Considering [length 2 / frequency 0] ba=c.

Step 2

Rewriting system is complete. See ⟨a, b | abbabaab=baa⟩.