Morphocompletion for #2255 ⟨a, b | aabbaab=aba⟩

Back:⟨a, b | aabbaab=aba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbaab ⇒ aba
2. ababaab ⇒ aabbaba
3. aabbaaabbaba ⇒ abaabaab
4. ababaaabbaba ⇒ aabbabaabaab
5. abaabaababbaab ⇒ abaabaabba
6. abaabaabbabaab ⇒ abaabaababbaba
7. aabbabaaababbaab ⇒ aabbabaaabba
8. abaaabaababbaab ⇒ abaaabaabba
9. abababaaababbaab ⇒ abababaaabba
10. abaaaabaababbaab ⇒ abaaaabaabba
...

Collecting factors up to length 3 / frequency 2:

[2/0]ab58lf:43,lp:7,ls:8,rf:31,rp:7,rs:2,lprp:5,lsrp:6,lprs:1
[2/1]ba37lf:35,ls:2,rf:29,rs:8

Considering [length 2 / frequency 1] ba=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cccab ⇒ cabcc
2. cccccacb ⇒ cccacbcc
3. ba ⇒ c
4. accab ⇒ aabcc
5. accccacb ⇒ accacbcc
6. cabcac ⇒ cca
7. cabcab ⇒ cc
8. cabcca ⇒ cccac
9. cabcccac ⇒ cccca
10. cabcccca ⇒ cccccac
11. cccacbcac ⇒ cabccca
12. cccacbcab ⇒ cabccc
13. aabcac ⇒ aca
14. aabcab ⇒ ac
15. aabcca ⇒ accac
16. aabcccac ⇒ accca
17. aabcccca ⇒ accccac
18. accacbcab ⇒ aabccc
19. cabcaabcc ⇒ ccacab
20. aabcaabcc ⇒ acacab
...

Collecting factors up to length 5 / frequency 2:

[2/0]ca38lf:28,lp:6,ls:4,rf:18,rp:3,rs:5,lprs:2,a:2
[2/1]cc35lf:29,lp:4,ls:2,rf:31,rp:7,rs:7,re:1,lprp:1,lsrp:1,lprs:3,a:3
[3/0]cab24lf:12,lp:6,ls:6,rf:5,rp:3,rs:2,lsrp:2,lprs:1,a:2
[3/1]ccc18lf:14,lp:4,rf:13,rp:4,rs:2,lprp:1,lprs:1,a:7
[4/0]aabc14lf:8,lp:6,rf:2,rp:2,a:2
[4/1]ccca14lf:9,lp:3,ls:2,rf:7,rp:2,rs:3,lprs:1,a:7

Considering [length 4 / frequency 0] aabc=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. cbddcc ⇒ bdcd
2. ccbd ⇒ bdcc
3. bdcbd ⇒ ccccc
4. acccc ⇒ dcbd
5. acbd ⇒ dcc
6. dab ⇒ ac
7. dacbc ⇒ abd
8. cabc ⇒ bd
9. cabbd ⇒ ccc
10. dccab ⇒ accc
11. cccab ⇒ bdc
12. ba ⇒ c
13. bdac ⇒ cca
14. bdca ⇒ cccac
15. aabc ⇒ d
16. aabbd ⇒ acc
17. aca ⇒ dac
18. accac ⇒ dca
19. accab ⇒ dc
20. ccaa ⇒ bddac
...

Collecting factors up to length 3 / frequency 2:

[2/0]bd17lf:9,lp:3,ls:5,rf:7,rp:5,rs:3,re:1,lsrp:1,a:5
[2/1]cc16lf:11,lp:3,ls:2,rf:14,rp:4,rs:6,lprs:1,a:6

Considering [length 2 / frequency 0] bd=e.

Step 4

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ecc ⇒ cce
2. cedcc ⇒ ecd
3. ccccc ⇒ ece
4. bd ⇒ e
5. ace ⇒ dcc
6. eae ⇒ ccd
7. eab ⇒ cc
8. eacbc ⇒ ce
9. dae ⇒ acd
10. dab ⇒ ac
11. dacbc ⇒ ae
12. cabe ⇒ ccc
13. cabc ⇒ e
14. ceacb ⇒ ec
15. cca ⇒ eac
16. ba ⇒ c
17. aabe ⇒ acc
18. aabc ⇒ d
19. aeacb ⇒ dc
20. aca ⇒ dac
...

Collecting factors up to length 3 / frequency 2:

[2/0]cc12lf:7,lp:2,ls:3,rf:7,rp:4,rs:4,re:1,lsrp:10,a:5
[2/1]ca8lf:4,lp:2,ls:2,a:6

Considering [length 2 / frequency 0] cc=f.

Step 5

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. fe ⇒ ef
2. ece ⇒ cff
3. fc ⇒ cf
4. cc ⇒ f
5. bd ⇒ e
6. aff ⇒ dce
7. ace ⇒ df
8. eae ⇒ fd
9. eab ⇒ f
10. fa ⇒ eac
11. dae ⇒ acd
12. dab ⇒ ac
13. cabe ⇒ cf
14. cabf ⇒ ec
15. cabc ⇒ e
16. ba ⇒ c
17. aabe ⇒ af
18. aabf ⇒ dc
19. aabc ⇒ d
20. aca ⇒ dac
...

Collecting factors up to length 3 / frequency 2:

[2/0]ab10lf:8,ls:2,a:2
[2/1]ca8lf:4,lp:3,ls:1,a:8

Considering [length 2 / frequency 0] ab=g.

Step 6

Rewriting system is complete. See ⟨a, b | aabbaab=aba⟩.