Morphocompletion for #4242 ⟨a, b | abaaabaab=ba⟩

Back:⟨a, b | abaaabaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaaabaab ⇒ ba
2. abaaababa ⇒ baaaabaab
3. baaaabaabaabaab ⇒ abaaabba
4. abaaabaaabaaabba ⇒ baaaaabaabaabaab
5. baaaabaabaababa ⇒ abaaabbaaaabaab
6. baaaabaabbaaabaab ⇒ abaaababba
7. abaaabaaabaaababba ⇒ baaaaabaabbaaabaab
8. baaaabaabbaaababa ⇒ abaaababbaaaabaab
9. baaaabaabaabaaabaaabba ⇒ abaaabbaaaaabaabaabaab
10. baaaaabaabaabaabbaaabaab ⇒ abaaabaaabaaabbba
11. abaaabaaabaaabaaabaaabbba ⇒ baaaaaabaabaabaabbaaabaab
12. baaaabaabaabaaabaaababba ⇒ abaaabbaaaaabaabbaaabaab
13. baaaabaabbaaabaaabaaabba ⇒ abaaababbaaaaabaabaabaab
14. baaaaabaabaabaabbaaababa ⇒ abaaabaaabaaabbbaaaabaab
15. baaaaabaabbaaabaabbaaabaab ⇒ abaaabaaabaaababbba
16. abaaabaaabaaabaaabaaababbba ⇒ baaaaaabaabbaaabaabbaaabaab
17. baaaabaabbaaabaaabaaababba ⇒ abaaababbaaaaabaabbaaabaab
18. baaaaabaabbaaabaabbaaababa ⇒ abaaabaaabaaababbbaaaabaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa139lf:139,rf:128
[2/1]ba122lf:97,lp:12,ls:13,rf:77,rp:6,rs:5,re:1,lsrp:5,lprs:4
[2/2]ab101lf:90,lp:6,ls:5,rf:84,rp:12,rs:13,lsrp:4,lprs:5
[2/3]bb20lf:20,rf:22,a:2
[3/0]baa87lf:75,lp:12,rf:66,rp:5
[3/1]aab80lf:75,ls:5,rf:66,rs:13
[3/2]aba78lf:67,lp:6,ls:5,rf:53,rp:12,lsrp:4
[3/3]aaa64lf:64,rf:62
[3/4]bba26lf:18,ls:8,rf:18,rs:4,a:2
[3/5]abb18lf:18,rf:18,a:2
[3/6]bab9lf:9,rf:6,a:1
[4/0]baaa60lf:48,lp:12,rf:39,rp:5
[4/1]abaa59lf:53,lp:6,rf:47,rp:12
[4/2]aaba56lf:56,rf:41
[4/3]aaab48lf:48,rf:39
[4/4]baab32lf:27,ls:5,rf:27,rs:13
[4/5]abba22lf:16,ls:6,rf:14,rs:2,a:2
[4/6]aaaa16lf:16,rf:23,a:1
[5/0]aabaa47lf:47,rf:35
[5/1]aaaba44lf:44,rf:33
[5/2]baaab36lf:36,rf:26
[5/3]abaab32lf:27,ls:5,rf:27,rs:13
[5/4]abaaa32lf:26,lp:6,rf:20,rp:12
[5/5]baaaa24lf:12,lp:12,rf:13,rp:5,a:1
[5/6]aabba16lf:13,ls:3,rf:10,rs:1,a:2
[6/0]aaabaa36lf:36,rf:27
[6/1]baaaba32lf:32,rf:20
[6/2]abaaab32lf:26,lp:6,rf:20,rp:12
[6/3]aabaab32lf:27,ls:5,rf:27,rs:13
[6/4]aabaaa20lf:20,rf:8,a:6
[6/5]baaaab16lf:8,lp:8,rf:5,rp:1,a:1
[6/6]abaaba12lf:12,rf:8,a:2
[7/0]abaaaba28lf:22,lp:6,rf:14,rp:8
[7/1]baaabaa24lf:24,rf:14
[7/2]aaabaab22lf:18,ls:4,rf:19,rs:10
[7/3]aabaaab20lf:20,rf:8,a:6
[7/4]aaabaaa18lf:18,rf:8,a:6
[7/5]baaaaba16lf:8,lp:8,rf:5,rp:1,a:1
[7/6]aabaaba12lf:12,rf:8,a:2

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

Step 2

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