Morphocompletion for #2249 ⟨a, b | aababba=baa⟩

Back:⟨a, b | aababba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aababba ⇒ baa
2. aababbbaa ⇒ babaa
3. aababbbbaa ⇒ babbaa
4. aababbbabaa ⇒ bababaa
5. aababbbbbaa ⇒ babbbaa
6. aababbbabbaa ⇒ bababbaa
7. aababbbbabaa ⇒ babbabaa
...

Collecting factors up to length 7 / frequency 3:

[2/0]aa26lf:13,lp:7,ls:6,rf:7,rs:7,lprs:7,lsrs:6
[2/1]bb18lf:18,rf:5
[2/2]ba18lf:17,ls:1,rf:16,rp:7,lsrp:1
[3/0]aab14lf:7,lp:7
[3/1]baa12lf:6,ls:6,rf:7,rp:1,rs:7,re:1,lsrs:6
[3/2]bbb10lf:10,rf:1,a:1
[4/0]aaba14lf:7,lp:7
[4/1]babb8lf:8,rf:4,rp:3
[4/2]bbaa8lf:4,ls:4,rf:3,rs:3,lsrs:3,a:1
[5/0]aabab14lf:7,lp:7
[5/1]ababb7lf:7,rf:1
[5/2]babbb6lf:6,rf:1,rp:1,a:1
[6/0]aababb14lf:7,lp:7
[6/1]ababbb6lf:6,a:1
[6/2]bbbbaa4lf:2,ls:2,a:3

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. baa ⇒ ca
2. aacbca ⇒ caa
3. aaccacbca ⇒ caaa
4. bac ⇒ cc
5. aacbcc ⇒ cac
6. aaccacbcc ⇒ caac
7. bcaa ⇒ cacbca
8. bcac ⇒ cacbcc
9. aacbbc ⇒ cc
10. cacbbc ⇒ bcc
11. babc ⇒ cbc
12. aacbcbc ⇒ cabc
13. bcabc ⇒ cacbcbc
14. aababb ⇒ c
15. cababb ⇒ bc
16. aacbbbc ⇒ cbc
17. cacbbbc ⇒ bcbc
18. babbc ⇒ cbbc
19. aacbbbbc ⇒ cbbc
20. babbbc ⇒ cbbbc
...

Collecting factors up to length 6 / frequency 5:

[2/0]bc31lf:18,lp:3,ls:10,rf:14,rp:3,rs:9,re:1,lsrp:2,lprs:1,lsrs:8,a:3
[2/1]aa22lf:11,lp:9,ls:2,rf:4,rs:2,lprs:2,a:1
[2/2]bb16lf:14,ls:2,rf:4,a:1
[2/3]ac16lf:14,ls:2,rf:5,rs:2,a:3
[2/4]ca15lf:10,lp:3,ls:2,rf:10,rp:9,rs:2,re:1,lsrp:2,a:2
[3/0]aac16lf:8,lp:8,rf:1,rs:1,lprs:1,a:3
[3/1]bbc14lf:7,ls:7,rf:3,rs:3,lsrs:3,a:12
[3/2]bca10lf:5,lp:3,ls:2,rf:1,rs:1,lprs:1,a:3
[3/3]acb10lf:10,rf:3,a:3
[3/4]bab8lf:5,lp:3,a:1
[4/0]aacb12lf:6,lp:6,a:3
[4/1]bbbc8lf:4,ls:4,rf:1,rs:1,lsrs:1,a:17
[4/2]babb8lf:4,lp:2,ls:2,a:1
[4/3]cacb6lf:4,lp:2,rf:3,rp:3,a:11
[4/4]acbb5lf:5,a:13
[5/0]aacbb6lf:3,lp:3,a:13
[5/1]aacbc6lf:3,lp:3,a:3
[5/2]cbbbc4lf:2,ls:2,rf:1,rp:1,rs:1,re:1,a:17
[5/3]ababb4lf:2,ls:2,a:1
[5/4]acbbc4lf:2,ls:2,a:13

Considering [length 2 / frequency 0] bc=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aacda ⇒ caa
2. cacda ⇒ daa
3. aacdc ⇒ cac
4. cacdc ⇒ dac
5. aacdd ⇒ cad
6. cacdd ⇒ dad
7. bc ⇒ d
8. aacbd ⇒ cc
9. cacbd ⇒ dc
10. baa ⇒ ca
11. bac ⇒ cc
12. bdc ⇒ dacbd
13. bad ⇒ cd
14. aacbbd ⇒ cd
15. babd ⇒ cbd
16. aababd ⇒ cc
17. cababd ⇒ dc
18. aababb ⇒ c
19. cababb ⇒ d
20. dababb ⇒ bd
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa16lf:8,lp:7,ls:1,rf:2,rs:2,lprs:1,a:1
[2/1]bd14lf:7,lp:1,ls:6,rf:3,rp:1,rs:3,re:1,lprs:1,lsrs:1,a:4
[2/2]ba13lf:9,lp:4,a:1
[2/3]ca12lf:6,lp:6,rf:4,rp:4,rs:1,re:1,a:3
[2/4]ab11lf:11,a:1
[3/0]aac10lf:5,lp:5,a:14
[3/1]cac8lf:4,lp:4,rf:1,rp:1,rs:1,re:1,a:15
[3/2]bab7lf:6,lp:1,a:1
[3/3]abb6lf:3,ls:3,a:1
[3/4]abd6lf:3,ls:3,a:4
[4/0]babb6lf:3,ls:3,a:1
[4/1]cacd6lf:3,lp:3,a:15
[4/2]aacd6lf:3,lp:3,a:14
[4/3]abab5lf:5,a:1
[4/4]babd4lf:2,ls:2,a:4
[5/0]ababb6lf:3,ls:3,a:1
[5/1]ababd4lf:2,ls:2,a:4
[5/2]cabab4lf:2,lp:2,a:6
[5/3]aabab4lf:2,lp:2,a:1
[5/4]acbbd2lf:1,ls:1,a:29

Considering [length 4 / frequency 0] babb=e.

Step 4

Rewriting system is complete. See ⟨a, b | aababba=baa⟩.