Morphocompletion for #2044 ⟨a, b | abaabbab=ba⟩

Back:⟨a, b | abaabbab=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. abaabbab ⇒ ba
2. baaabbab ⇒ abaabbba
3. abaabbaabaabbba ⇒ baaaabbab
4. baaaabbabbaabbab ⇒ abaabbaabaabbbba
5. baaabbaabaabbba ⇒ abaabbbaaaabbab
6. abaabbaabaabbaabaabbbba ⇒ baaaaabbabbaabbab
7. baaaaabbabbaabbabbaabbab ⇒ abaabbaabaabbaabaabbbbba
8. baaaabbabbaabbaabaabbba ⇒ abaabbaabaabbbbaaaabbab
9. baaabbaabaabbaabaabbbba ⇒ abaabbbaaaaabbabbaabbab
10. abaabbaabaabbaabaabbaabaabbbbba ⇒ baaaaaabbabbaabbabbaabbab
11. baaaaaabbabbaabbabbaabbabbaabbab ⇒ abaabbaabaabbaabaabbaabaabbbbbba
12. baaaaabbabbaabbabbaabbaabaabbba ⇒ abaabbaabaabbaabaabbbbbaaaabbab
13. baaaabbabbaabbaabaabbaabaabbbba ⇒ abaabbaabaabbbbaaaaabbabbaabbab
14. baaabbaabaabbaabaabbaabaabbbbba ⇒ abaabbbaaaaaabbabbaabbabbaabbab
15. abaabbaabaabbaabaabbaabaabbaabaabbbbbba ⇒ baaaaaaabbabbaabbabbaabbabbaabbab
16. baaaaaabbabbaabbabbaabbabbaabbaabaabbba ⇒ abaabbaabaabbaabaabbaabaabbbbbbaaaabbab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ba122lf:100,lp:11,ls:11,rf:84,rp:5,rs:5,re:1,lsrp:4,lprs:4
[2/1]ab104lf:94,lp:5,ls:5,rf:90,rp:11,rs:11,lsrp:4,lprs:4
[2/2]aa95lf:95,rf:90
[2/3]bb84lf:84,rf:79
[3/0]baa82lf:71,lp:11,rf:58,rp:4
[3/1]bba74lf:63,ls:11,rf:55,rs:4
[3/2]aab71lf:71,rf:58
[3/3]abb63lf:63,rf:55
[3/4]aba31lf:26,lp:5,rf:24,rp:11
[3/5]aaa24lf:24,rf:32,a:1
[3/6]bab23lf:18,ls:5,rf:21,rs:11
[4/0]baab60lf:60,rf:47
[4/1]abba52lf:52,rf:44
[4/2]aabb50lf:50,rf:45
[4/3]bbaa34lf:34,rf:30,a:2
[4/4]abaa31lf:26,lp:5,rf:24,rp:11
[4/5]bbab23lf:18,ls:5,rf:21,rs:11
[4/6]baaa22lf:11,lp:11,rf:11,rp:4,a:1
[5/0]aabba39lf:39,rf:34
[5/1]baabb39lf:39,rf:34
[5/2]abbaa34lf:34,rf:23,a:2
[5/3]bbaab34lf:34,rf:23,a:2
[5/4]abaab31lf:26,lp:5,rf:24,rp:11
[5/5]abbab23lf:18,ls:5,rf:21,rs:11
[5/6]aabaa21lf:21,rf:13,a:2
[6/0]abbaab34lf:34,rf:23,a:2
[6/1]abaabb31lf:26,lp:5,rf:24,rp:11
[6/2]baabba28lf:28,rf:23
[6/3]aabbab23lf:18,ls:5,rf:21,rs:11
[6/4]baabaa21lf:21,rf:13,a:2
[6/5]aabbaa21lf:21,rf:13,a:2
[6/6]aabaab21lf:21,rf:13,a:2
[7/0]bbaabaa21lf:21,rf:13,a:2
[7/1]baabaab21lf:21,rf:13,a:2
[7/2]abbaaba21lf:21,rf:13,a:2
[7/3]aabbaab21lf:21,rf:13,a:2
[7/4]aabaabb21lf:21,rf:13,a:2
[7/5]abaabba20lf:15,lp:5,rf:13,rp:7
[7/6]baabbaa18lf:18,rf:13,a:2

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

Step 2

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