Morphocompletion for #4711 ⟨a, b | aabbabba=baa⟩

Back:⟨a, b | aabbabba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aabbabba ⇒ baa
2. aabbabbbaa ⇒ babaa
3. aabbabbbbaa ⇒ babbaa
4. aabbabbbabaa ⇒ bababaa
5. aabbabbbbbaa ⇒ babbbaa
6. aabbabbbabbaa ⇒ bababbaa
7. aabbabbbbabaa ⇒ 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]bb25lf:25,rf:5
[2/2]ba18lf:17,ls:1,rf:16,rp:7,lsrp:1
[3/0]bba16lf:15,ls:1,rf:4
[3/1]abb15lf:15,rf:4
[3/2]aab14lf:7,lp:7
[4/0]aabb14lf:7,lp:7
[4/1]bbab10lf:10,rf:1
[4/2]abba10lf:9,ls:1,rf:3
[5/0]aabba14lf:7,lp:7
[5/1]bbabb8lf:8
[5/2]abbab7lf:7,rf:1
[6/0]aabbab14lf:7,lp:7
[6/1]abbabb7lf:7
[6/2]bbabbb6lf:6,a:1

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aacccc ⇒ ca
2. baa ⇒ aacc
3. bca ⇒ cacc
4. baca ⇒ aaccacccc
5. bcca ⇒ caccacccc
6. bacca ⇒ aaccaccccacccc
7. bccca ⇒ caccaccccacccc
8. baccca ⇒ aaccaccccaccccacccc
9. bcccca ⇒ caccaccccaccccacccc
10. bacccca ⇒ aaccaccccaccccaccccacccc
11. bccccca ⇒ caccaccccaccccaccccacccc
12. baccccca ⇒ aaccaccccaccccaccccaccccacccc
13. bcccccca ⇒ caccaccccaccccaccccaccccacccc
14. bacccccca ⇒ aaccaccccaccccaccccaccccaccccacccc
15. bccccccca ⇒ caccaccccaccccaccccaccccaccccacccc
16. baccccccca ⇒ aaccaccccaccccaccccaccccaccccaccccacccc
17. bcccccccca ⇒ caccaccccaccccaccccaccccaccccaccccacccc
18. bacccccccca ⇒ aaccaccccaccccaccccaccccaccccaccccaccccacccc
19. bccccccccca ⇒ caccaccccaccccaccccaccccaccccaccccaccccacccc
20. bba ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]cc68lf:67,ls:1,rf:234,rs:18,a:2
[2/1]ca34lf:17,ls:17,rf:82,rp:10,rs:1,re:1,lsrp:9,a:3
[2/2]ba20lf:10,lp:9,ls:1,a:1
[2/3]bc18lf:9,lp:9,a:5
[2/4]ac9lf:9,rf:90,a:2
[3/0]ccc52lf:51,ls:1,rf:144,rs:16,a:3
[3/1]cca30lf:15,ls:15,rf:72,a:6
[3/2]bcc16lf:8,lp:8,a:7
[3/3]bac16lf:8,lp:8,a:6
[3/4]acc8lf:8,rf:90,rs:2,a:2
[4/0]cccc38lf:37,ls:1,rf:72,rs:16,a:3
[4/1]ccca26lf:13,ls:13,rf:56,a:8
[4/2]bccc14lf:7,lp:7,a:9
[4/3]bacc14lf:7,lp:7,a:8
[4/4]accc7lf:7,rf:72,a:3
[5/0]ccccc25lf:25,a:13
[5/1]cccca22lf:11,ls:11,rf:56,a:8
[5/2]bcccc12lf:6,lp:6,a:11
[5/3]baccc12lf:6,lp:6,a:10
[5/4]acccc7lf:6,ls:1,rf:72,rs:16,a:3

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

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aadadadad ⇒ da
2. ca ⇒ aad
3. cd ⇒ dc
4. cccc ⇒ d
5. baa ⇒ aacc
6. bda ⇒ aadaadaddadad
7. bada ⇒ aaaadaddadadad
8. bdda ⇒ aadaadaddadadadadadad
9. badda ⇒ aaaadaddadadadadadadad
10. bddda ⇒ aadaadaddadadadadadadadadadad
11. baddda ⇒ aaaadaddadadadadadadadadadadad
12. bdddda ⇒ aadaadaddadadadadadadadadadadadadadad
13. badddda ⇒ aaaadaddadadadadadadadadadadadadadadad
14. bddddda ⇒ aadaadaddadadadadadadadadadadadadadadadadadad
15. baddddda ⇒ aaaadaddadadadadadadadadadadadadadadadadadadad
16. bdddddda ⇒ aadaadaddadadadadadadadadadadadadadadadadadadadadadad
17. badddddda ⇒ aaaadaddadadadadadadadadadadadadadadadadadadadadadadad
18. bddddddda ⇒ aadaadaddadadadadadadadadadadadadadadadadadadadadadadadadadad
19. baddddddda ⇒ aaaadaddadadadadadadadadadadadadadadadadadadadadadadadadadadad
20. bba ⇒ c
...

Collecting factors up to length 6 / frequency 5:

[2/0]dd42lf:42,rf:14,a:8
[2/1]da31lf:17,ls:14,rf:225,rp:1,rs:1,re:1,a:6
[2/2]ba18lf:9,lp:8,ls:1,a:1
[2/3]bd14lf:7,lp:7,a:8
[2/4]ad12lf:11,ls:1,rf:239,rs:15,a:5
[3/0]ddd30lf:30,a:12
[3/1]dda24lf:12,ls:12,rf:14,a:8
[3/2]bad14lf:7,lp:7,a:9
[3/3]bdd12lf:6,lp:6,a:10
[3/4]add6lf:6,rf:14,a:8
[4/0]dddd20lf:20,a:14
[4/1]ddda20lf:10,ls:10,a:12
[4/2]badd12lf:6,lp:6,a:11
[4/3]bddd10lf:5,lp:5,a:12
[4/4]addd5lf:5,a:13
[5/0]dddda16lf:8,ls:8,a:14
[5/1]ddddd12lf:12,a:16
[5/2]baddd10lf:5,lp:5,a:13
[5/3]bdddd8lf:4,lp:4,a:14
[5/4]adddd4lf:4,a:15

Considering [length 2 / frequency 1] da=e.

Step 4

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