Morphocompletion for #5922 ⟨a, b | abbaab=baaba⟩

Back:⟨a, b | abbaab=baaba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. abbaab ⇒ baaba
2. baababaab ⇒ abbabaaba
3. baabaabaab ⇒ ababbabaaba
4. baabaaabaab ⇒ abababbabaaba
5. ababbabaabaaab ⇒ baaababbabaaba
6. baabaaaabaab ⇒ ababababbabaaba
7. baabaaababaab ⇒ abbaaabbabaaba
8. baabaaaaabaab ⇒ abababababbabaaba
9. baabaaaababaab ⇒ ababbaaabbabaaba
10. baabaabbabaabaaab ⇒ abbabaaababbabaaba
11. baabaaaaaabaab ⇒ ababababababbabaaba
12. baabaaabaaabaab ⇒ abbaaabababbabaaba
13. baabaaaaababaab ⇒ abababbaaabbabaaba
14. baabaaabbabaabaaab ⇒ ababbabaaababbabaaba
15. baabaaaaaaabaab ⇒ abababababababbabaaba
16. baabaaabaaaabaab ⇒ abbaaababababbabaaba
17. baabaaaabaaabaab ⇒ ababbaaabababbabaaba
18. baabaaaaaababaab ⇒ ababababbaaabbabaaba
19. baabaaabaaababaab ⇒ abbaaabbaaabbabaaba
20. baabaaaaaaaabaab ⇒ ababababababababbabaaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]aa107lf:107,rf:44
[2/1]ab96lf:74,lp:2,ls:20,rf:117,rp:18,lsrp:18
[2/2]ba90lf:72,lp:18,rf:119,rp:2,rs:20,lprs:18
[2/3]bb4lf:4,rf:30
[3/0]aab82lf:62,ls:20,rf:32
[3/1]baa80lf:62,lp:18,rf:32,rp:2
[3/2]aba51lf:50,lp:1,rf:87,rp:12,rs:20,lprs:1
[3/3]aaa45lf:45,rf:12,a:3
[3/4]bab10lf:10,rf:67,a:1
[3/5]abb5lf:4,lp:1,rf:30,rp:6
[3/6]bba4lf:4,rf:30
[4/0]baab75lf:40,lp:18,ls:17,rf:20,rp:1,lsrp:1
[4/1]abaa43lf:43,rf:21,a:1
[4/2]aaba40lf:40,rf:26,rs:20
[4/3]aaab25lf:22,ls:3,rf:12,a:3
[4/4]aaaa23lf:23,a:6
[4/5]baaa22lf:22,rf:12,rp:1,a:3
[4/6]baba9lf:9,rf:49,a:1
[5/0]baaba40lf:22,lp:18,rf:20,rp:1,rs:20,re:1,lprs:18
[5/1]abaab37lf:21,ls:16,rf:19,a:1
[5/2]aabaa34lf:34,a:2
[5/3]abaaa22lf:22,rf:2,a:3
[5/4]aaaba18lf:18,rf:6,a:3
[5/5]baaab15lf:12,ls:3,rf:12,rp:1,lsrp:1,a:3
[5/6]aaaaa13lf:13,a:8
[6/0]baabaa38lf:21,lp:17,a:2
[6/1]aabaaa22lf:22,a:3
[6/2]aabaab22lf:12,ls:10,a:2
[6/3]abaaab15lf:12,ls:3,rf:2,a:3
[6/4]babaab15lf:9,ls:6,rf:19,a:1
[6/5]aaabaa13lf:13,a:4
[6/6]aaaaba10lf:10,a:6
[7/0]baabaaa33lf:18,lp:15,a:3
[7/1]aaabaab18lf:9,ls:9,a:4
[7/2]aabaaab15lf:12,ls:3,a:3
[7/3]ababaab12lf:6,ls:6,a:1
[7/4]aabaaaa10lf:10,a:6
[7/5]abaaaba8lf:8,rf:2,a:3
[7/6]aaaabaa7lf:7,a:6

Considering [length 6 / frequency 0] baabaa=c.

Step 2

Rewriting system is complete. See ⟨a, b | abbaab=baaba⟩.