Morphocompletion for #5015 ⟨a, b | aaabaaa=abab⟩

Back:⟨a, b | aaabaaa=abab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaababab ⇒ ababbaaa
2. aaabaaa ⇒ abab
3. aaabaabab ⇒ abababaaa
4. ababaababab ⇒ ababbabbaaa
5. ababaabaaa ⇒ ababbab
6. ababaabaabab ⇒ ababbababaaa
7. ababbabaababab ⇒ ababbabbabbaaa
8. ababbabaabaaa ⇒ ababbabbab
9. ababbabbabaabaaa ⇒ ababbabbabbab
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab46lf:35,lp:6,ls:5,rf:30,rp:9,rs:4,lprp:6,lsrp:5,lprs:3
[2/1]ba30lf:30,rf:26
[2/2]aa29lf:22,lp:3,ls:4,rf:10,rs:5,lprs:2
[2/3]bb4lf:4,rf:13,a:1
[3/0]aba32lf:26,lp:6,rf:13,rp:9,lprp:6
[3/1]bab23lf:18,ls:5,rf:21,rs:4
[3/2]aaa14lf:7,lp:3,ls:4,rf:5,rs:5,lprs:2
[3/3]baa12lf:12,rf:5
[3/4]aab11lf:11
[3/5]abb4lf:4,rf:13,a:1
[3/6]bba4lf:4,rf:13,a:1
[4/0]abab25lf:14,lp:6,ls:5,rf:11,rp:9,rs:1,re:1,lprp:6,lsrp:5
[4/1]abaa12lf:12,rf:2
[4/2]aaba11lf:11
[4/3]baba9lf:9,rf:4,a:1
[4/4]baaa8lf:4,ls:4,rf:5,rs:5
[4/5]baab8lf:8,a:2
[4/6]aaab6lf:3,lp:3
[5/0]ababa9lf:6,lp:3,rf:3,rp:1,a:1
[5/1]abaaa8lf:4,ls:4,rf:2,rs:2
[5/2]abaab8lf:8,a:2
[5/3]baaba8lf:8,a:2
[5/4]aabab7lf:5,ls:2,a:1
[5/5]aaaba6lf:3,lp:3
[5/6]aabaa6lf:6
[6/0]aabaaa8lf:4,ls:4
[6/1]abaaba8lf:8,a:2
[6/2]ababaa6lf:3,lp:3,rf:2,a:2
[6/3]ababab6lf:3,ls:3,rf:1,rp:1,a:1
[6/4]baabab6lf:4,ls:2,a:2
[6/5]babaab6lf:6,a:3
[6/6]ababba6lf:3,lp:3,rf:7,rp:7,lprp:3,a:1
[7/0]baabaaa6lf:3,ls:3,a:3
[7/1]aababab6lf:3,ls:3,a:1
[7/2]abaabab6lf:4,ls:2,a:2
[7/3]ababaab6lf:3,lp:3,a:3
[7/4]babaaba6lf:6,a:3
[7/5]ababbab6lf:3,lp:3,rf:6,rp:6,rs:1,re:1,lprp:3,a:3
[7/6]abaabaa4lf:4,a:3

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

Step 2

Rewriting system is complete. See ⟨a, b | aaabaaa=abab⟩.