Morphocompletion for #4273 ⟨a, b | abaabbaab=ba⟩

Back:⟨a, b | abaabbaab=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. abaabbaab ⇒ ba
2. baaabbaab ⇒ abaabbaba
3. baaaabbaababbaab ⇒ abaabbaaabaabbba
4. abaabbaaabaabbaba ⇒ baaaabbaab
5. baaaabbaabbaabbaab ⇒ abaabbaaabaabbabba
6. baaabbaaabaabbaba ⇒ abaabbabaaaabbaab
7. abaabbaaabaabbaaabaabbba ⇒ baaaaabbaababbaab
8. baaaaabbaababbaabbaabbaab ⇒ abaabbaaabaabbaaabaabbbba
9. baaaabbaababbaaabaabbaba ⇒ abaabbaaabaabbbaaaabbaab
10. baaabbaaabaabbaaabaabbba ⇒ abaabbabaaaaabbaababbaab
11. abaabbaaabaabbaaabaabbabba ⇒ baaaaabbaabbaabbaab
12. baaaaabbaabbaabbaabbaabbaab ⇒ abaabbaaabaabbaaabaabbabbba
13. baaaabbaabbaabbaaabaabbaba ⇒ abaabbaaabaabbabbaaaabbaab
14. baaabbaaabaabbaaabaabbabba ⇒ abaabbabaaaaabbaabbaabbaab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba92lf:74,lp:10,ls:8,rf:63,rp:4,rs:6,re:1,lsrp:3,lprs:5
[2/1]aa87lf:87,rf:76
[2/2]ab80lf:70,lp:4,ls:6,rf:67,rp:10,rs:8,lsrp:5,lprs:3
[2/3]bb43lf:43,rf:40
[3/0]baa67lf:57,lp:10,rf:48,rp:3
[3/1]aab63lf:57,ls:6,rf:48,rs:8
[3/2]bba45lf:41,ls:4,rf:35,rs:4
[3/3]abb41lf:41,rf:35
[3/4]aba31lf:23,lp:4,ls:4,rf:24,rp:10,rs:1,lsrp:3
[3/5]aaa30lf:30,rf:28,a:1
[3/6]bab9lf:9,rf:9,a:1
[4/0]baab41lf:35,ls:6,rf:32,rs:8
[4/1]abba41lf:39,ls:2,rf:31,rs:1
[4/2]aabb36lf:36,rf:30
[4/3]baaa32lf:22,lp:10,rf:16,rp:3,a:1
[4/4]bbaa31lf:31,rf:24
[4/5]aaab22lf:22,rf:16,a:1
[4/6]abaa20lf:16,lp:4,rf:21,rp:10
[5/0]aabba34lf:34,rf:27
[5/1]abbaa31lf:31,rf:23
[5/2]baabb26lf:26,rf:22
[5/3]bbaab25lf:19,ls:6,rf:14,rs:8
[5/4]baaab20lf:16,lp:4,rf:8,a:1
[5/5]abaab20lf:16,lp:4,rf:18,rp:10
[5/6]baaaa12lf:6,lp:6,rf:8,rp:3,a:2
[6/0]aabbaa28lf:28,rf:20
[6/1]abbaab25lf:19,ls:6,rf:14,rs:8
[6/2]baabba24lf:24,rf:19
[6/3]abaabb20lf:16,lp:4,rf:18,rp:10
[6/4]aaabaa12lf:12,rf:8,a:2
[6/5]baaaba12lf:12,rf:8,a:2
[6/6]abbaaa12lf:12,rf:9,a:2
[7/0]aabbaab22lf:17,ls:5,rf:12,rs:6
[7/1]baabbaa18lf:18,rf:12
[7/2]abaabba18lf:14,lp:4,rf:15,rp:10
[7/3]baaabaa12lf:12,rf:8,a:2
[7/4]aaabaab12lf:12,rf:8,a:2
[7/5]bbaaaba12lf:12,rf:8,a:2
[7/6]abbaaab12lf:12,rf:8,a:2

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

Step 2

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