Morphocompletion for #4012 ⟨a, b | aaabbaaab=ba⟩

Back:⟨a, b | aaabbaaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aaabbaaab ⇒ ba
2. aaabbba ⇒ babaaab
3. babaaabaabbaaab ⇒ aaabbbba
4. aaabbaaaaaabbbba ⇒ baabaaabaabbaaab
5. babaaabaabbba ⇒ aaabbbbabaaab
6. baabaaabaabbaaabaabbaaab ⇒ aaabbaaaaaabbbbba
7. aaabbaaaaaabbaaaaaabbbbba ⇒ baaabaaabaabbaaabaabbaaab
8. babaaabaabbaaaaaabbbba ⇒ aaabbbbaabaaabaabbaaab
9. baabaaabaabbaaabaabbba ⇒ aaabbaaaaaabbbbbabaaab
10. aaabaaabbaaaaaabbaaaaaabbbbbba ⇒ baaaabaabbaaabaabbaaabaabbaaab
11. baaabaaabaabbaaabaabbaaabaabbaaab ⇒ aaabbaaaaaabbaaaaaabbbbbba
12. aaabbaaaaaabbaaaaaabbaaaaaabbbbbba ⇒ baaaabaaabaabbaaabaabbaaabaabbaaab
13. babaaabaabbaaaaaabbaaaaaabbbbba ⇒ aaabbbbaaabaaabaabbaaabaabbaaab
14. baabaaabaabbaaabaabbaaaaaabbbba ⇒ aaabbaaaaaabbbbbaabaaabaabbaaab
15. baaabaaabaabbaaabaabbaaabaabbba ⇒ aaabbaaaaaabbaaaaaabbbbbbabaaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa143lf:137,lp:6,rf:125,rp:9
[2/1]ba89lf:69,lp:9,ls:11,rf:58,rp:6,rs:4,re:1,lsrp:5,lprs:3
[2/2]ab68lf:64,ls:4,rf:63,rs:11
[2/3]bb58lf:58,rf:54
[3/0]aaa83lf:77,lp:6,rf:66,rp:9
[3/1]aab64lf:60,ls:4,rf:59,rs:11
[3/2]baa59lf:54,lp:5,rf:50,rp:4
[3/3]bba45lf:34,ls:11,rf:29,rs:3
[3/4]abb34lf:34,rf:29
[3/5]aba26lf:26,rf:23,a:1
[3/6]bbb24lf:24,rf:25,a:1
[4/0]aaab51lf:41,lp:6,ls:4,rf:43,rp:9,rs:11,lsrp:3,lprs:5
[4/1]baaa37lf:35,lp:2,rf:34,rp:3
[4/2]aaaa36lf:36,rf:23,a:4
[4/3]aabb34lf:34,rf:29
[4/4]abaa26lf:26,rf:23,a:1
[4/5]bbaa23lf:23,rf:23
[4/6]abba23lf:23,rf:20
[5/0]baaab29lf:23,lp:2,ls:4,rf:25,rp:1,rs:11,lprs:1
[5/1]aaaaa24lf:24,rf:14,a:4
[5/2]bbaaa23lf:23,rf:21
[5/3]abbaa23lf:23,rf:20
[5/4]aabba23lf:23,rf:20
[5/5]aaabb23lf:18,lp:5,rf:16,rp:9
[5/6]aabaa22lf:22,rf:19,a:2
[6/0]abbaaa23lf:23,rf:20
[6/1]aabbaa23lf:23,rf:20
[6/2]baaaba20lf:18,lp:2,rf:14,rp:1,a:2
[6/3]aaabaa20lf:19,lp:1,rf:16,a:2
[6/4]abaabb16lf:16,rf:13,a:2
[6/5]aabaab16lf:16,rf:13,a:2
[6/6]bbaaab15lf:11,ls:4,rf:14,rs:7
[7/0]aabbaaa23lf:23,rf:20
[7/1]baaabaa20lf:18,lp:2,rf:14,rp:1,a:2
[7/2]aabaabb16lf:16,rf:13,a:2
[7/3]aaabaab16lf:16,rf:13,a:2
[7/4]abbaaab15lf:11,ls:4,rf:13,rs:7
[7/5]aaabbaa14lf:10,lp:4,rf:7,rp:5
[7/6]baabbaa13lf:13,rf:13,a:2

Considering [length 5 / frequency 0] baaab=c.

Step 2

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