Morphocompletion for #1249 ⟨a, b | abaab=baba⟩

Back:⟨a, b | abaab=baba⟩

Solved by morph:5/0,3/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. baba ⇒ abaab
2. abaabba ⇒ baabaab
3. abaababba ⇒ bbaabaab
4. abaaabaabbba ⇒ bbbaabaab
5. abaabaabaabbba ⇒ bbbbaabaab
6. abaaabaaabaababbba ⇒ bbbbbaabaab
7. abaabaabaaabaababbba ⇒ bbbbbbaabaab
8. abaaabaaabaabaabaababbba ⇒ bbbbbbbaabaab
9. abaabaabaaabaabaabaababbba ⇒ bbbbbbbbaabaab
10. abaaabaaabaabaabaabaabaababbba ⇒ bbbbbbbbbaabaab
11. abaabaabaaabaabaabaabaabaababbba ⇒ bbbbbbbbbbaabaab
12. abaaabaaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbaabaab
13. abaabaabaaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbaabaab
14. abaaabaaabaabaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbbaabaab
15. abaabaabaaabaabaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbbbaabaab
16. abaaabaaabaabaabaabaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbbbbaabaab
17. abaabaabaaabaabaabaabaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbbbbbaabaab
18. abaaabaaabaabaabaabaabaabaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbbbbbbaabaab
19. abaabaabaaabaabaabaabaabaabaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbbbbbbbaabaab
20. abaaabaaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaababbba ⇒ bbbbbbbbbbbbbbbbbbbaabaab
...

Collecting factors up to length 7 / frequency 4:

[2/0]ba215lf:194,lp:1,ls:20,rf:39,rp:1,lsrp:1
[2/1]ab212lf:193,lp:19,rf:40,rp:1,rs:20,lprs:19
[2/2]aa181lf:181,rf:39
[2/3]bb36lf:36,rf:171,rp:18,a:1
[3/0]aba194lf:174,lp:19,ls:1,rf:20,rp:1,lsrp:1
[3/1]baa157lf:157,rf:39,rp:1
[3/2]aab157lf:157,rf:39,rs:20
[3/3]bba38lf:19,ls:19,rf:18,rp:1,lsrp:1,a:1
[4/0]abaa176lf:157,lp:19,rf:20,rp:1
[4/1]aaba154lf:154,rf:19,a:1
[4/2]baab133lf:133,rf:39,rp:1,rs:20
[4/3]bbba34lf:17,ls:17,rf:17,rp:1,lsrp:1,a:3
[5/0]abaab143lf:133,lp:10,rf:20,rp:1,rs:20,re:1,lprs:10
[5/1]aabaa138lf:138,rf:19,a:1
[5/2]baaba130lf:130,rf:19,rp:1,a:1
[5/3]abbba34lf:17,ls:17,a:3
[6/0]abaaba139lf:130,lp:9,a:2
[6/1]aabaab123lf:123,rf:19,rs:19,a:1
[6/2]baabaa114lf:114,rf:19,rp:1,a:1
[6/3]abaaab33lf:24,lp:9,a:3

Considering [length 5 / frequency 0] abaab=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. acba ⇒ caab
2. accba ⇒ caacab
3. acccba ⇒ caacacab
4. accccba ⇒ caacacacab
5. bc ⇒ cab
6. bac ⇒ cba
7. abaac ⇒ caba
8. abaab ⇒ c
9. caabba ⇒ acc
10. caacabba ⇒ accc
11. caacacabba ⇒ acccc
12. caacacacabba ⇒ accccc
13. baba ⇒ c
14. abaaabaaacc ⇒ ccaaabba
15. cbaaabba ⇒ baacc
16. cabaaabba ⇒ abaaacc
17. cbaaacabba ⇒ baaccc
18. cabaaacabba ⇒ abaaaccc
19. cbaaacacabba ⇒ baacccc
20. cabbaaabba ⇒ bbaacc
...

Collecting factors up to length 6 / frequency 7:

[2/0]ba44lf:27,lp:2,ls:15,rf:9,rp:3,rs:3,lsrp:3,lprs:10
[2/1]ca24lf:17,lp:7,rf:13,rp:6,a:3
[2/2]ab23lf:19,lp:3,ls:1,rf:9,rp:2,rs:5
[2/3]ac23lf:17,lp:4,ls:2,rf:16,rp:4,a:2
[2/4]aa22lf:22,rf:14,a:1
[2/5]bb11lf:11,rf:2,rp:1,a:6
[2/6]cb10lf:7,lp:3,rf:1,rp:1,a:2
[3/0]bba21lf:11,ls:10,rf:2,rp:1,rs:1,lsrp:1,a:6
[3/1]cba14lf:7,lp:3,ls:4,rf:1,rp:1,rs:1,re:1,a:2
[3/2]cab12lf:9,lp:3,rf:5,rp:2,rs:4,re:1,a:3
[3/3]abb11lf:11,rf:1,a:6
[3/4]aba11lf:7,lp:3,ls:1,rf:3,rp:2,rs:1,lprs:1
[3/5]baa10lf:10,rf:6,rp:3,a:1
[3/6]aca10lf:10,rf:6,a:7
[4/0]abba21lf:11,ls:10,rf:1,rs:1,a:6
[4/1]abaa9lf:6,lp:3,rf:2,rp:2,a:1
[4/2]cabb8lf:7,lp:1,a:10
[4/3]baaa8lf:8,rf:2,a:8
[4/4]cbaa6lf:3,lp:3,a:8
[4/5]ccba6lf:3,ls:3,a:7
[4/6]acab6lf:6,rf:3,rs:3,a:7
[5/0]cabba14lf:7,lp:1,ls:6,a:10
[5/1]aabba8lf:4,ls:4,rf:1,rs:1,a:6
[5/2]acabb6lf:6,a:10
[5/3]cbaaa6lf:3,lp:3,a:8
[5/4]caaca6lf:3,lp:3,rf:3,rp:3,a:7
[5/5]abaaa5lf:4,lp:1,rf:2,rp:2,a:9
[5/6]baaab4lf:4,a:8

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

Step 3

Rewriting system is complete. See ⟨a, b | abaab=baba⟩.